remove unused code

Author: bobzhang

jscomp/core/js_dump.ml

@@ -863,7 +863,7 @@ and expression_desc cxt ~(level:int) f x : cxt  =
        && not_is_cons then 
       pp_comment_option f (Some p.name);
     expression_desc cxt ~level f (Object objs)
-  | Caml_block ( _, _, _, (Blk_module_export | Blk_na _ )) -> assert false
+  | Caml_block ( _, _, _, (Blk_module_export  )) -> assert false
   | Caml_block( el, mutable_flag, _tag, (Blk_tuple  | Blk_class | Blk_array  ))
     ->
     expression_desc cxt ~level f  (Array (el, mutable_flag))

jscomp/core/js_exp_make.ml

@@ -270,7 +270,7 @@ let dummy_obj ?comment (info : Lam_tag_info.t)  : t =
     -> 
     {comment ; expression_desc = Object []}
   | Blk_tuple | Blk_array  
-  | Blk_na _   
+
   | Blk_class | Blk_module_export 
     ->
     {comment  ; expression_desc = Array ([],Mutable)}

jscomp/core/lam_compile_util.ml

@@ -60,6 +60,6 @@ let comment_of_tag_info  (x : Lam_tag_info.t) =
     None
   | Blk_extension (* TODO: enhance it later *)
     -> None
-  | Blk_na s -> if s = "" then None else Some s
+
 
 (* let module_alias = Some "alias"   *)

jscomp/core/lam_constant_convert.ml

@@ -103,9 +103,6 @@ let rec convert_constant ( const : Lambda.structured_constant) : Lam_constant.t
         Const_block (i,t, Ext_list.map xs convert_constant )      
       | Blk_lazy_general 
         -> assert false
-      | Blk_na s  -> 
-        let t : Lam_tag_info.t = Blk_na s in 
-        Const_block (i,t, Ext_list.map xs convert_constant )      
 
       | Blk_record_inlined {name;fields;num_nonconst}  -> 
         let t : Lam_tag_info.t = Blk_record_inlined {name;fields;num_nonconst} in 

jscomp/core/lam_convert.ml

@@ -304,9 +304,6 @@ let lam_prim ~primitive:( p : Lambda.primitive) ~args loc : Lam.t =
 
           | _ -> assert false
         end
-      | Blk_na s -> 
-        let info : Lam_tag_info.t = Blk_na s in
-        prim ~primitive:(Pmakeblock (tag,info,mutable_flag)) ~args loc
     end  
   | Pfield (id,info)
     -> prim ~primitive:(Pfield (id,info)) ~args loc

jscomp/core/lam_tag_info.ml

@@ -34,7 +34,6 @@ type t =
   | Blk_record of string array 
   | Blk_module of string list
   | Blk_extension
-  | Blk_na of string (* for debugging *)
   | Blk_record_ext of string array
   | Blk_record_inlined of { name : string ; num_nonconst : int; fields : string array }
   | Blk_constructor of {name : string ; num_nonconst : int}

jscomp/ml/lambda.ml

@@ -44,15 +44,15 @@ type tag_info =
   | Blk_module_export of Ident.t list
   | Blk_extension_slot
   | Blk_extension
-  | Blk_na of string
+  
   | Blk_some
   | Blk_some_not_nested (* ['a option] where ['a] can not inhabit a non-like value *)
   | Blk_record_inlined of { name : string ; num_nonconst :  int; fields : string array} 
   | Blk_record_ext of string array
   | Blk_lazy_general
   | Blk_class (* Ocaml style class*) 
 
-let default_tag_info : tag_info = Blk_na ""
+
 let blk_record = ref (fun fields -> 
   let all_labels_info = fields |> Array.map (fun (x,_) -> x.Types.lbl_name) in    
   Blk_record all_labels_info

jscomp/ml/lambda.mli

@@ -54,7 +54,7 @@ type tag_info =
       ]}
 
     *)
-  | Blk_na of string (* This string only for debugging*)
+
   | Blk_some
   | Blk_some_not_nested (* ['a option] where ['a] can not inhabit a non-like value *)
   | Blk_record_inlined of { name : string ; num_nonconst :  int ; fields : string array}   
@@ -82,7 +82,7 @@ val blk_record_inlined :
     tag_info
   ) ref
 
-val default_tag_info : tag_info
+
 
 val ref_tag_info : tag_info
 

jscomp/ml/printlambda.ml

@@ -126,7 +126,7 @@ let print_taginfo ppf = function
   | Blk_record  ss ->  fprintf ppf "[%s]" (String.concat ";" (Array.to_list ss) )
   | Blk_module ss ->  fprintf ppf "[%s]" (String.concat ";"  ss) 
   | Blk_extension_slot -> fprintf ppf "ext_slot"
-  | Blk_na s -> fprintf ppf "%s"  s 
+
   | Blk_some -> fprintf ppf "some"
   | Blk_some_not_nested -> fprintf ppf "some_not_nested" 
   | Blk_lazy_general -> fprintf ppf "lazy_general"