not carrying redundant cst for label

Author: bobzhang

jscomp/core/lam_compile_external_call.ml

@@ -100,7 +100,7 @@ let ocaml_to_js_eff
     | Optional  -> 
       Js_of_lam_option.get_default_undefined_from_optional raw_arg
     | Label  | Empty -> raw_arg
-    | LabelCst _
+    | LabelCst
     | EmptyCst 
       -> assert false in 
   match arg_type with
@@ -177,7 +177,7 @@ let assemble_args_no_splice call_loc ffi
     | [], _  
       -> assert (args = []) ; empty_pair
     | { arg_label =  EmptyCst  ; arg_type = Arg_cst cst } :: labels, args 
-    | { arg_label =  LabelCst {cst ;}; _} :: labels, args -> 
+    | { arg_label =  LabelCst ; arg_type = Arg_cst cst} :: labels, args -> 
       let accs, eff = aux labels args in
       Lam_compile_const.translate_arg_cst cst :: accs, eff 
     | {arg_label = Empty  | Label | Optional  as arg_label ; arg_type } ::labels,
@@ -189,7 +189,7 @@ let assemble_args_no_splice call_loc ffi
         append_list acc  accs, Ext_list.append new_eff  eff
     | { arg_label = Empty  | Label | Optional   ; _ } :: _ , [] 
       -> assert false 
-    | {arg_label = EmptyCst ; _} :: _, _  -> assert false
+    | {arg_label = EmptyCst | LabelCst ; _} :: _, _  -> assert false
   in 
   let args, eff = aux arg_types args  in 
   args,
@@ -205,7 +205,7 @@ let assemble_args_has_splice call_loc ffi (arg_types : specs) (args : exprs)
     match labels, args with       
     | [] , _ -> assert (args = []); empty_pair
     | { arg_label =  EmptyCst ; arg_type = Arg_cst cst} :: labels  , args 
-    | { arg_label =  LabelCst {cst}; _} :: labels  , args -> 
+    | { arg_label =  LabelCst ; arg_type = Arg_cst cst } :: labels  , args -> 
       let accs, eff = aux labels args in
       Lam_compile_const.translate_arg_cst cst :: accs, eff 
     | ({arg_label = Empty | Label | Optional  as arg_label; arg_type }) ::labels,
@@ -222,7 +222,7 @@ let assemble_args_has_splice call_loc ffi (arg_types : specs) (args : exprs)
       end
     | { arg_label = Empty | Label | Optional   ; _ } :: _ , [] 
       -> assert false 
-    | {arg_label = EmptyCst ;_ } :: _, _ -> assert false  
+    | {arg_label = EmptyCst | LabelCst ;_ } :: _, _ -> assert false  
   in 
   let args, eff = aux arg_types args  in 
   args,

jscomp/syntax/ast_external_process.ml

@@ -906,8 +906,8 @@ let handle_attributes
                    param_type :: arg_types end
              | Labelled s  ->
                begin match refine_arg_type ~nolabel:false ty with
-                 | new_ty, (Arg_cst i as arg_type)  ->
-                   LabelCst {cst = i}, arg_type, arg_types
+                 | new_ty, (Arg_cst _ as arg_type)  ->
+                   LabelCst , arg_type, arg_types
                  | new_ty, arg_type ->
                    Label , arg_type, 
                    {param_type with ty = new_ty} :: arg_types

jscomp/syntax/external_arg_spec.ml

@@ -35,7 +35,7 @@ type cst =
 
 type label_noname = 
   | Label 
-  | LabelCst of { cst : cst  }
+  | LabelCst
   | Empty 
   | EmptyCst
   | Optional

jscomp/syntax/external_arg_spec.mli

@@ -53,7 +53,7 @@ type attr =
 
 type label_noname = 
   | Label
-  | LabelCst of { cst : cst }
+  | LabelCst
   | Empty 
   | EmptyCst 
   | Optional