Fix handling of instance names in Persistent_env (#127)

This change was already made in flambda-backend but looks to have been inadvertently dropped during a merge. Signed-off-by: Luke Maurer <[email protected]>
janestreet · Jan 30, 2025 · 57e63b3 · 57e63b3
1 parent 0514f08
commit 57e63b3
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/src/ocaml/typing/persistent_env.ml b/src/ocaml/typing/persistent_env.ml
@@ -759,9 +759,6 @@ type 'a sig_reader =
    Checks that OCaml source is allowed to refer to this module. *)
 
 let acknowledge_pers_struct penv short_path_comps modname pers_name val_of_pers_sig =
-  if modname.Global_module.Name.args <> [] then
-    Misc.fatal_errorf "TODO: Unsupported instance name: %a"
-      Global_module.Name.print modname;
   let {persistent_structures; _} = penv in
   let import = pers_name.pn_import in
   let global = pers_name.pn_global in