Fix: opaque types my only be defined in the CORRESPONDING implementation

diff --git a/lang/m2/comp/def.c b/lang/m2/comp/def.c
index 56a24dd..32074ea 100644 (file)
--- a/lang/m2/comp/def.c
+++ b/lang/m2/comp/def.c
@@ -131,7 +131,8 @@ define(id, scope, kind)
                        /* An opaque type. We may now have found the
                           definition of this type.
                        */
-                       if (kind == D_TYPE && !DefinitionModule) {
+                       if (kind == D_TYPE && df->df_scope == CurrentScope &&
+                           !DefinitionModule) {
                                df->df_kind = D_TYPE;
                                return df;
                        }