tentative fix for #3865

Author: bobzhang

jscomp/core/js_dump.ml

@@ -854,7 +854,8 @@ and expression_desc cxt (level:int) f x : cxt  =
        else       
          E.runtime_call Js_runtime_modules.option "some" [e])
   | Caml_block(el,_, _, Blk_module fields) ->        
-      expression_desc cxt (level:int) f (Object (List.combine fields el))
+      expression_desc cxt (level:int) f (Object (
+        (Ext_list.map_combine fields el Ext_ident.convert)))
   | Caml_block( el, mutable_flag, tag, tag_info)
     ->
     (* Note that, if we ignore more than tag [0] we loose some information

jscomp/core/js_exp_make.ml

@@ -163,6 +163,7 @@ let dot ?comment (e0 : t)  (e1 : string) : t =
 
 
 let module_access (e : t) (name : string) (pos : int32) =    
+  let name = Ext_ident.convert name in  
   match e.expression_desc with 
   | Caml_block (l, _, _,_) when no_side_effect e -> 
     (match Ext_list.nth_opt l (Int32.to_int pos) with 

jscomp/ext/ext_list.ml

@@ -68,6 +68,13 @@ let rec has_string l f =
   | x1 :: x2 :: x3 :: x4 ->
     x1 = f || x2 = f || x3 = f || has_string x4 f 
 
+let rec map_combine l1 l2 f =
+  match (l1, l2) with
+    ([], []) -> []
+  | (a1::l1, a2::l2) -> 
+    (f a1, a2) :: map_combine l1 l2 f 
+  | (_, _) -> 
+    invalid_arg "Ext_list.map_combine"
 
 let rec map_split_opt 
   (xs : 'a list)  (f : 'a -> 'b option * 'c option) 

jscomp/ext/ext_list.mli

@@ -28,10 +28,18 @@ val map :
   ('a -> 'b) -> 
   'b list 
 
+val map_combine :  
+  'a list -> 
+  'b list -> 
+  ('a -> 'c) -> 
+  ('c * 'b) list 
+  
 val has_string :   
   string list ->
   string -> 
   bool
+
+
 val map_split_opt :  
   'a list ->
   ('a -> 'b option * 'c option) ->