Convert hoisted export names for nested dynamic imports too

The cmj hoisted metadata stores the raw flattened compiler name
(Operator$+ for a hoisted Operator.\"+"); export printing applies
Ext_ident.convert afterward, emitting Operator$$plus. The nested
dynamic-import branch passed the raw cmj name to the then-access, so the
promise resolved to undefined. Apply the same ML-export-name conversion
as the single-segment case. Pinned by an import2.res case against the
existing hoisted operator fixture.

Signed-Off-By: Cristiano Calcagno <ccrisccris@gmail.com>
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01PCtQiaDijUqA2fujQXvKUw

Author: cristianoc

compiler/core/lam_compile_primitive.ml

@@ -132,9 +132,10 @@ let translate output_prefix loc (cxt : Lam_compile_context.t)
       Lam_compile_env.register_ml_module ~dynamic_import:true module_;
       let import = import_of_path (import_path oid) in
       (* a ReScript module's JS export names go through the same identifier
-         conversion js_dump applies to qualified access (e.g. a binding
-         named [case] is exported as [$$case]); hoisted export names from
-         the cmj are already the emitted flat identifiers *)
+         conversion js_dump applies to qualified access and export lists:
+         a binding named [case] is exported as [$$case], and a hoisted
+         [Operator.\"+"] whose cmj metadata stores the raw flattened name
+         [Operator$+] is exported as [Operator$$plus] *)
       let ml_export_name name =
         if name = Js_dump_import_export.default_export then name
         else Ext_ident.convert name
@@ -149,7 +150,7 @@ let translate output_prefix loc (cxt : Lam_compile_context.t)
           Lam_compile_env.find_hoisted_external_export ~dynamic_import:true
             module_ path
         with
-        | Some hoisted_name -> wrap_then import hoisted_name
+        | Some hoisted_name -> wrap_then import (ml_export_name hoisted_name)
         | None ->
           Location.raise_errorf ~loc
             "Invalid argument: Dynamic import requires a module or module \

tests/tests/src/import2.mjs

@@ -8,9 +8,12 @@ let b = A;
 
 let c = import("./export_keyword.mjs").then(m => m.$$case);
 
+let d = import("./hoisted_function_attr.mjs").then(m => m.Operator$$plus);
+
 export {
   a,
   b,
   c,
+  d,
 }
 /* b Not a pure module */

tests/tests/src/import2.res

@@ -4,3 +4,8 @@ let b = Import_external.makeA
 /* the imported export name goes through JS identifier conversion, matching
  the emitted export (`case` is exported as `$$case`) */
 let c = import(Export_keyword.case)
+
+/* hoisted export names also go through JS identifier conversion:
+   the cmj stores the raw flattened name (Operator$+), the module exports
+   the converted one (Operator$$plus) */
+let d = import(Hoisted_function_attr.Operator.\"+")