Adapt changes from the compiler

bobzhang · bobzhang · commit b15587346183 · 2019-11-28T19:09:38.000-08:00
diff --git a/jscomp/core/js_block_runtime.ml b/jscomp/core/js_block_runtime.ml
@@ -32,7 +32,7 @@ let tag_is_zero (tag : J.expression) =
   (tag : J.expression)
   (tag_info : J.tag_info) = 
   match tag_info with 
-  | Blk_variant _     
+  | Blk_poly_var _     
   | Blk_constructor _   -> true
 #if OCAML_VERSION =~ ">4.03.0" then
   | Blk_record_inlined _ -> true  
@@ -52,7 +52,7 @@ let tag_is_zero (tag : J.expression) =
 
 let needBlockRuntime (tag : J.expression) (tag_info : J.tag_info) = 
   match  tag_info with 
-  | Blk_variant _ 
+  | Blk_poly_var _ 
   | Blk_module _
   | Blk_module_export
   | Blk_record _  
diff --git a/jscomp/core/js_dump.ml b/jscomp/core/js_dump.ml
@@ -851,7 +851,7 @@ and expression_desc cxt ~(level:int) f x : cxt  =
               TODO: we still need clean up local module compilation 
               to make it more obvious
             *)
-        | Blk_variant name ->  
+        | Blk_poly_var name ->  
           dbg_poly_var f;
           P.paren_group f 1 (fun _ -> arguments cxt f [ 
               E.str name;
diff --git a/jscomp/core/js_exp_make.ml b/jscomp/core/js_exp_make.ml
@@ -205,7 +205,7 @@ let make_block ?comment
     | Blk_extension 
     | Blk_class 
     | Blk_constructor _ 
-    | Blk_variant _ 
+    | Blk_poly_var _ 
     | Blk_na _
       ->  es
   in
@@ -296,7 +296,7 @@ let dummy_obj ?comment (info : Lam_tag_info.t)  : t =
     {comment ; expression_desc = Object ([])}
   | Blk_constructor _ 
   | Blk_tuple | Blk_array
-  | Blk_variant _ | Blk_extension_slot 
+  | Blk_poly_var _ | Blk_extension_slot 
   | Blk_extension | Blk_na _ 
   | Blk_record_inlined _ 
   | Blk_record_ext _ 
diff --git a/jscomp/core/js_of_lam_block.ml b/jscomp/core/js_of_lam_block.ml
@@ -56,12 +56,13 @@ let field (field_info : Lam_compat.field_dbg_info) e i =
   | Fld_poly_var_content 
   | Fld_record_inline _
   | Fld_record_extension _
+  | Fld_extension_slot
     -> 
     E.array_index_by_int  
       ?comment:(Lam_compat.str_of_field_info field_info) e i 
   | Fld_record {name}
     -> E.record_access e name i
-  | Fld_module name
+  | Fld_module {name}
     -> E.module_access e name i
 let field_by_exp e i = 
   E.array_index e i 
diff --git a/jscomp/core/lam.ml b/jscomp/core/lam.ml
@@ -652,15 +652,15 @@ let prim ~primitive:(prim : Lam_primitive.t) ~args loc  : t =
       let rec aux fields args (var : Ident.t) i =
         match fields, args with 
         | [], [] -> true 
-        | f :: fields, Lprim {primitive = Pfield (pos, Fld_module f1); args = [Lglobal_module v1 | Lvar v1]} :: args 
+        | f :: fields, Lprim {primitive = Pfield (pos, Fld_module {name = f1}); args = [Lglobal_module v1 | Lvar v1]} :: args 
           -> 
             pos = i && 
             f = f1 &&
             Ident.same var v1 && aux fields args var (i + 1)
         | _, _ -> false in   
       begin match fields, args with   
       | field1 :: rest, 
-          Lprim{primitive = Pfield (pos, Fld_module f1); args = [Lglobal_module v1 | Lvar v1 as lam]} :: args1
+          Lprim{primitive = Pfield (pos, Fld_module {name = f1}); args = [Lglobal_module v1 | Lvar v1 as lam]} :: args1
           ->
           if pos = 0 && field1 = f1 && aux rest args1 v1 1 then 
             lam
diff --git a/jscomp/core/lam_arity_analysis.ml b/jscomp/core/lam_arity_analysis.ml
@@ -44,14 +44,14 @@ let rec get_arity (meta : Lam_stats.t) (lam : Lam.t) :  Lam_arity.t =
   | Lvar v -> arity_of_var meta v 
   | Lconst _ -> Lam_arity.non_function_arity_info
   | Llet(_,_,_, l ) -> get_arity meta l 
-  | Lprim {primitive = Pfield (_, Fld_module fld_name); 
+  | Lprim {primitive = Pfield (_, Fld_module {name = fld_name}); 
            args =  [ Lglobal_module id  ]; _} -> 
     begin match (Lam_compile_env.query_external_id_info id fld_name).arity with 
       | Single x -> x 
       | Submodule _ -> Lam_arity.na
     end
   | Lprim {primitive = Pfield (m,_); 
-           args =  [ Lprim{primitive = Pfield(n,Fld_module fld_name); 
+           args =  [ Lprim{primitive = Pfield(n,Fld_module {name = fld_name}); 
                            args = [ Lglobal_module id]}  ]
           ; _} ->
     begin match (Lam_compile_env.query_external_id_info id fld_name ).arity with 
diff --git a/jscomp/core/lam_compat.ml b/jscomp/core/lam_compat.ml
@@ -184,29 +184,30 @@ type meth_kind = Lambda.meth_kind
 
 type field_dbg_info = Lambda.field_dbg_info =
   | Fld_na
-  | Fld_record of {name : string; mutable_flag : Asttypes.mutable_flag}
-  | Fld_module of string 
+  | Fld_record of { name : string; mutable_flag : Asttypes.mutable_flag}
+  | Fld_module of { name : string }
 #if OCAML_VERSION =~ ">4.03.0"  then 
-  | Fld_record_inline of string 
-  | Fld_record_extension of string 
+  | Fld_record_inline of { name : string}
+  | Fld_record_extension of {name : string }
 #end  
   | Fld_tuple
   | Fld_poly_var_tag
   | Fld_poly_var_content
-
+  | Fld_extension_slot
 
 let str_of_field_info (x : field_dbg_info) : string option =  
   match x with 
   | Fld_na 
   | Fld_poly_var_tag 
   | Fld_poly_var_content
-  | Fld_tuple -> None   
-  | Fld_record {name = s} 
-  | Fld_module s 
-  | Fld_record_inline s 
-  | Fld_record_extension s 
+  | Fld_tuple 
+  | Fld_extension_slot -> None   
+  | Fld_record {name } 
+  | Fld_module {name}
+  | Fld_record_inline {name}
+  | Fld_record_extension {name}
      -> 
-      Some s
+      Some name
 
 type set_field_dbg_info = Lambda.set_field_dbg_info = 
   | Fld_set_na
diff --git a/jscomp/core/lam_compat.mli b/jscomp/core/lam_compat.mli
@@ -86,15 +86,15 @@ type meth_kind = Lambda.meth_kind
 type field_dbg_info = Lambda.field_dbg_info =
   | Fld_na
   | Fld_record of {name : string; mutable_flag : Asttypes.mutable_flag}
-  | Fld_module of string 
+  | Fld_module of {name : string }
 #if OCAML_VERSION =~ ">4.03.0"  then 
-  | Fld_record_inline of string 
-  | Fld_record_extension of string 
+  | Fld_record_inline of {name : string}
+  | Fld_record_extension of {name : string}
 #end  
   | Fld_tuple
   | Fld_poly_var_tag
   | Fld_poly_var_content
-
+  | Fld_extension_slot
   
 val str_of_field_info : 
   field_dbg_info -> 
diff --git a/jscomp/core/lam_compile.ml b/jscomp/core/lam_compile.ml
@@ -1338,7 +1338,7 @@ and compile_apply
          this information, we should fix [get_exp_with_args]
       *)
       begin match fld_info with 
-        | Fld_module fld_name -> 
+        | Fld_module {name = fld_name} -> 
           compile_external_field_apply  args id fld_name  lambda_cxt
         | _ -> assert false
       end     
@@ -1407,7 +1407,7 @@ and compile_prim (prim_info : Lam.prim_info) (lambda_cxt : Lam_compile_context.t
     | {primitive = Pfield (_, fld_info); args = [ Lglobal_module id ]; _}
       -> (* should be before Lglobal_global *)
       begin match fld_info with 
-      | Fld_module field -> 
+      | Fld_module {name = field} -> 
          compile_external_field lambda_cxt id field 
       | _ -> assert false  
       end
diff --git a/jscomp/core/lam_compile_util.ml b/jscomp/core/lam_compile_util.ml
@@ -45,7 +45,7 @@ let comment_of_tag_info  (x : Lam_tag_info.t) =
   | Blk_constructor (n, _) -> Some n 
   | Blk_tuple -> Some "tuple"
   | Blk_class -> Some "class"
-  | Blk_variant x -> Some ("`" ^  x)
+  | Blk_poly_var x -> Some ("`" ^  x)
   | Blk_record _ -> None
 #if OCAML_VERSION =~ ">4.03.0" then
   | Blk_record_inlined (_,ctor,_) -> Some ctor
diff --git a/jscomp/core/lam_constant_convert.ml b/jscomp/core/lam_constant_convert.ml
@@ -68,8 +68,8 @@ let rec convert_constant ( const : Lambda.structured_constant) : Lam_constant.t
     | Blk_array -> 
       let t : Lam_tag_info.t = Blk_array in 
       Const_block (i,t, Ext_list.map xs convert_constant )
-    | Blk_variant s -> 
-      let t : Lam_tag_info.t = Blk_variant s in 
+    | Blk_poly_var s -> 
+      let t : Lam_tag_info.t = Blk_poly_var s in 
       Const_block (i,t, Ext_list.map xs convert_constant )      
     | Blk_record s -> 
       let t : Lam_tag_info.t = Blk_record s in 
diff --git a/jscomp/core/lam_convert.ml b/jscomp/core/lam_convert.ml
@@ -234,8 +234,8 @@ let lam_prim ~primitive:( p : Lambda.primitive) ~args loc : Lam.t =
     | Blk_array -> 
       let info : Lam_tag_info.t = Blk_array in
       prim ~primitive:(Pmakeblock (tag,info,mutable_flag)) ~args loc
-    | Blk_variant s -> 
-      let info : Lam_tag_info.t = Blk_variant s in
+    | Blk_poly_var s -> 
+      let info : Lam_tag_info.t = Blk_poly_var s in
       prim ~primitive:(Pmakeblock (tag,info,mutable_flag)) ~args loc
     | Blk_record s -> 
       let info : Lam_tag_info.t = Blk_record s in
diff --git a/jscomp/core/lam_pass_remove_alias.ml b/jscomp/core/lam_pass_remove_alias.ml
@@ -115,7 +115,7 @@ let simplify_alias
       return [0, $$let[5],... $$let[16]]}
     *)      
     | Lapply{fn = 
-               Lprim {primitive = Pfield (index, Fld_module fld_name) ;
+               Lprim {primitive = Pfield (index, Fld_module {name = fld_name}) ;
                       args = [ Lglobal_module ident ];
                       _} as l1;
              args; loc ; status} ->
diff --git a/jscomp/core/lam_print.ml b/jscomp/core/lam_print.ml
@@ -438,7 +438,7 @@ let lambda ppf v  =
         "@[<2>(let@ (@[<hv 1>%a@]" bindings (List.rev args);
       fprintf ppf ")@ %a)@]"  lam body
     | Lprim { 
-        primitive = Pfield (n,Fld_module s); 
+        primitive = Pfield (n,Fld_module {name = s}); 
         args = [ Lglobal_module id ]
         ;  _} ->
       fprintf ppf "%s.%s/%d" id.name s n
diff --git a/jscomp/core/lam_tag_info.ml b/jscomp/core/lam_tag_info.ml
@@ -31,7 +31,7 @@ type t =
   | Blk_constructor of string * int
   | Blk_tuple
   | Blk_array
-  | Blk_variant of string 
+  | Blk_poly_var of string 
   | Blk_record of string array 
   | Blk_module of string list
   | Blk_extension_slot
diff --git a/lib/4.06.1/bsdep.ml b/lib/4.06.1/bsdep.ml
@@ -40831,7 +40831,7 @@ type t =
   | Blk_constructor of string * int
   | Blk_tuple
   | Blk_array
-  | Blk_variant of string 
+  | Blk_poly_var of string 
   | Blk_record of string array 
   | Blk_module of string list
   | Blk_extension_slot
diff --git a/lib/4.06.1/bsppx.ml b/lib/4.06.1/bsppx.ml
@@ -19116,7 +19116,7 @@ type t =
   | Blk_constructor of string * int
   | Blk_tuple
   | Blk_array
-  | Blk_variant of string 
+  | Blk_poly_var of string 
   | Blk_record of string array 
   | Blk_module of string list
   | Blk_extension_slot
diff --git a/lib/4.06.1/unstable/js_compiler.ml b/lib/4.06.1/unstable/js_compiler.ml
diff --git a/lib/4.06.1/unstable/js_refmt_compiler.ml b/lib/4.06.1/unstable/js_refmt_compiler.ml
diff --git a/lib/4.06.1/unstable/native_ppx.ml b/lib/4.06.1/unstable/native_ppx.ml
diff --git a/lib/4.06.1/whole_compiler.ml b/lib/4.06.1/whole_compiler.ml
diff --git a/ocaml b/ocaml
