snapshot

Author: bobzhang

lib/4.02.3/unstable/js_compiler.ml

@@ -96402,10 +96402,6 @@ val query_external_id_info :
   string -> 
   ident_info
 
-val query_and_add_if_not_exist : 
-  Lam_module_ident.t ->
-  'a t -> 
-  found:(bool -> 'b) -> 'b
 
 val is_pure_module : Lam_module_ident.t -> bool
 
@@ -96591,7 +96587,7 @@ type _ t =
 let query_and_add_if_not_exist 
     (type u)
     (oid : Lam_module_ident.t) 
-    (env : u t)  ~(found: bool -> _) =
+     ~(found: bool -> _) =
   match Lam_module_ident.Hash.find_opt cached_tbl oid with 
   | None -> 
     begin match oid.kind with
@@ -96654,23 +96650,10 @@ let get_package_path_from_cmj
 let add = Lam_module_ident.Hash_set.add
 
 
-
-(* let is_pure_module (id : Lam_module_ident.t) = 
-  match id.kind with 
-  | Runtime -> true 
-  | External _ -> false
-  | Ml -> 
-    match Lam_module_ident.Hash.find_opt cached_tbl id with
-    | Some (Visit {cmj_table = {pure}}) -> pure 
-    | Some _ -> assert false 
-    | None ->  *)
-
-
-
 (* Conservative interface *)
 let is_pure_module (id : Lam_module_ident.t)  = 
   id.kind = Runtime ||
-  query_and_add_if_not_exist id No_env
+  query_and_add_if_not_exist id 
     ~found:(fun x ->  x)
 
 let get_required_modules 
@@ -115889,13 +115872,9 @@ let get_dependent_module_effect
   (external_ids : Lam_module_ident.t list) = 
   if maybe_pure = None then
     let non_pure_module =  
-      Ext_list.find_first_not external_ids
-        (fun id -> 
-           id.kind = Runtime ||
-           Lam_compile_env.query_and_add_if_not_exist id 
-             (Has_env meta.env )
-             ~found:(fun pure -> pure)
-        ) in 
+      Ext_list.find_first_not external_ids        
+        Lam_compile_env.is_pure_module            
+    in 
     Ext_option.map  non_pure_module (fun x -> Lam_module_ident.name x)
   else 
     maybe_pure

lib/4.02.3/whole_compiler.ml

@@ -83787,10 +83787,6 @@ val query_external_id_info :
   string -> 
   ident_info
 
-val query_and_add_if_not_exist : 
-  Lam_module_ident.t ->
-  'a t -> 
-  found:(bool -> 'b) -> 'b
 
 val is_pure_module : Lam_module_ident.t -> bool
 
@@ -83976,7 +83972,7 @@ type _ t =
 let query_and_add_if_not_exist 
     (type u)
     (oid : Lam_module_ident.t) 
-    (env : u t)  ~(found: bool -> _) =
+     ~(found: bool -> _) =
   match Lam_module_ident.Hash.find_opt cached_tbl oid with 
   | None -> 
     begin match oid.kind with
@@ -84039,23 +84035,10 @@ let get_package_path_from_cmj
 let add = Lam_module_ident.Hash_set.add
 
 
-
-(* let is_pure_module (id : Lam_module_ident.t) = 
-  match id.kind with 
-  | Runtime -> true 
-  | External _ -> false
-  | Ml -> 
-    match Lam_module_ident.Hash.find_opt cached_tbl id with
-    | Some (Visit {cmj_table = {pure}}) -> pure 
-    | Some _ -> assert false 
-    | None ->  *)
-
-
-
 (* Conservative interface *)
 let is_pure_module (id : Lam_module_ident.t)  = 
   id.kind = Runtime ||
-  query_and_add_if_not_exist id No_env
+  query_and_add_if_not_exist id 
     ~found:(fun x ->  x)
 
 let get_required_modules 
@@ -113598,13 +113581,9 @@ let get_dependent_module_effect
   (external_ids : Lam_module_ident.t list) = 
   if maybe_pure = None then
     let non_pure_module =  
-      Ext_list.find_first_not external_ids
-        (fun id -> 
-           id.kind = Runtime ||
-           Lam_compile_env.query_and_add_if_not_exist id 
-             (Has_env meta.env )
-             ~found:(fun pure -> pure)
-        ) in 
+      Ext_list.find_first_not external_ids        
+        Lam_compile_env.is_pure_module            
+    in 
     Ext_option.map  non_pure_module (fun x -> Lam_module_ident.name x)
   else 
     maybe_pure