From 3e4c1bef0aeca3d9b77c062982d6386bef8dc864 Mon Sep 17 00:00:00 2001 From: Luke Maurer Date: Thu, 30 Jan 2025 19:04:24 +0000 Subject: [PATCH] Fix handling of instance names in `Persistent_env` This change was already made in flambda-backend but looks to have been inadvertently dropped during a merge. Signed-off-by: Luke Maurer --- src/ocaml/typing/persistent_env.ml | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/ocaml/typing/persistent_env.ml b/src/ocaml/typing/persistent_env.ml index 4f7881f95..6e8679308 100644 --- 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