make lfunction a separate type for easy analysis

Author: bobzhang

jscomp/core/lam.ml

@@ -43,6 +43,12 @@ module Types = struct
       sw_blocks: (int * t) list;
       sw_failaction : t option;
       sw_names : Lambda.switch_names option }
+  and lfunction = { 
+    arity : int ;
+    params : ident list ;
+    body : t;
+    attr : function_attribute
+  }    
   (* 
     Invariant: 
     length (sw_consts) <= sw_consts_full 
@@ -90,11 +96,7 @@ module Types = struct
     | Lglobal_module of ident
     | Lconst of Lam_constant.t
     | Lapply of apply_info
-    | Lfunction of { arity : int ;
-                     params : ident list ;
-                     body : t;
-                     attr : function_attribute
-                   }
+    | Lfunction of lfunction
     | Llet of Lam_compat.let_kind * ident * t * t
     | Lletrec of (ident * t) list * t
     | Lprim of prim_info
@@ -137,18 +139,21 @@ module X = struct
         ap_loc : Location.t;
         ap_status : apply_status
       }
+  and lfunction = Types.lfunction = 
+    { 
+      arity : int ;
+      params : ident list ;
+      body : t;
+      attr : function_attribute
+    }   
   and t
     = Types.t
     =
       | Lvar of ident
       | Lglobal_module of ident
       | Lconst of Lam_constant.t
       | Lapply of apply_info
-      | Lfunction of { arity : int ;
-                       params : ident list ;
-                       body : t;
-                       attr : function_attribute
-                     }      
+      | Lfunction of lfunction      
       | Llet of Lam_compat.let_kind * ident * t * t
       | Lletrec of (ident * t) list * t
       | Lprim of prim_info

jscomp/core/lam.mli

@@ -48,7 +48,12 @@ and apply_info = private
     ap_loc : Location.t;
     ap_status : apply_status
   }
-
+and lfunction =  {
+  arity : int ; 
+  params : ident list ;
+  body : t ;
+  attr : function_attribute;
+}
 and prim_info = private
   { primitive : Lam_primitive.t ; 
     args : t list ; 
@@ -59,11 +64,7 @@ and  t =  private
   | Lglobal_module of ident
   | Lconst of Lam_constant.t
   | Lapply of apply_info
-  | Lfunction of   { arity : int ; 
-                     params : ident list ;
-                     body : t ;
-                     attr : function_attribute;
-                   }
+  | Lfunction of lfunction
   | Llet of Lam_compat.let_kind * ident * t * t
   | Lletrec of (ident * t) list * t
   | Lprim of prim_info