Fix external declerations in inner modules

tjammer · Sep 2, 2024 · a5ea1e4 · a5ea1e4
1 parent 2917e33
commit a5ea1e4
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/lib/typing/env.ml b/lib/typing/env.ml
@@ -261,7 +261,7 @@ let add_external ext_name ~cname typ loc env =
       ext_name;
       ext_typ = typ;
       ext_cname = cname;
-      imported = None;
+      imported = Some (env.modpath, `C);
       used;
       closure = false;
     }

diff --git a/test/modules.t/run.t b/test/modules.t/run.t
@@ -1101,3 +1101,6 @@ Fix handling of parameterized abstract types
   $ schmu -m nullvec.smu
   $ schmu use_nullvec.smu
   $ valgrind -q --leak-check=yes --show-reachable=yes ./use_nullvec
+
+Fix external declarations in inner modules
+  $ schmu inner_module_externals.smu