Remove unused env argument

Author: bobzhang

jscomp/core/js_implementation.ml

@@ -141,7 +141,7 @@ let after_parsing_impl ppf  outputprefix ast =
       let env = Compmisc.initial_env() in
       Env.set_unit_name modulename;
 
-      let (typedtree, coercion, finalenv, current_signature) =
+      let (typedtree, coercion, _, _) =
         ast 
         |> Typemod.type_implementation_more ?check_exists:(if !Js_config.force_cmi then None else Some ()) !Location.input_name outputprefix modulename env 
         |> print_if ppf Clflags.dump_typedtree
@@ -155,7 +155,7 @@ let after_parsing_impl ppf  outputprefix ast =
         |> (fun lambda -> 
             let js_program =  
             print_if ppf Clflags.dump_rawlambda Printlambda.lambda (get_lambda lambda)
-            |> Lam_compile_main.compile outputprefix finalenv in 
+            |> Lam_compile_main.compile outputprefix in 
             if not !Js_config.cmj_only then 
               Lam_compile_main.lambda_as_module
                 js_program

jscomp/core/lam_compile_main.ml

@@ -131,7 +131,6 @@ let _d  = fun  s lam ->
 *)
 let compile  
     (output_prefix : string) 
-    (env : Env.t) 
     (lam : Lambda.lambda)   = 
   let export_idents = Translmod.get_export_identifiers() in
   let export_ident_sets = Ident_set.of_list export_idents in 

jscomp/core/lam_compile_main.mli

@@ -39,7 +39,6 @@
  *)
 val compile :  
   string -> 
-  Env.t ->   
   Lambda.lambda -> 
   J.deps_program
 

jscomp/main/jsoo_main.ml

@@ -80,7 +80,7 @@ let implementation ~use_super_errors ?(react_ppx_version=V3) prefix impl str  :
   (* Env.set_unit_name modulename; *)
   Lam_compile_env.reset () ;
   let env = Compmisc.initial_env() in (* Question ?? *)
-  let finalenv = ref Env.empty in
+  (* let finalenv = ref Env.empty in *)
   let types_signature = ref [] in
   if use_super_errors then begin
     Misc.Color.setup (Some Always);
@@ -99,8 +99,8 @@ let implementation ~use_super_errors ?(react_ppx_version=V3) prefix impl str  :
     | V3 -> Reactjs_jsx_ppx_v3.rewrite_implementation ast in 
     let ast = Bs_builtin_ppx.rewrite_implementation ast in 
     let typed_tree = 
-      let (a,b,c,signature) = Typemod.type_implementation_more modulename modulename modulename env ast in
-      finalenv := c ;
+      let (a,b,_,signature) = Typemod.type_implementation_more modulename modulename modulename env ast in
+      (* finalenv := c ; *)
       types_signature := signature;
       (a,b) in      
   typed_tree
@@ -117,7 +117,7 @@ let implementation ~use_super_errors ?(react_ppx_version=V3) prefix impl str  :
                           ~output_prefix:"" (* does not matter here *)
                           NodeJS
                           (Lam_compile_main.compile ""
-                             !finalenv  lam)
+                              lam)
                           (Ext_pp.from_buffer buffer) in
       let v = Buffer.contents buffer in
       Js.Unsafe.(obj [| "js_code", inject @@ Js.string v |]) )

lib/4.02.3/unstable/js_compiler.ml

@@ -115938,7 +115938,6 @@ module Lam_compile_main : sig
  *)
 val compile :  
   string -> 
-  Env.t ->   
   Lambda.lambda -> 
   J.deps_program
 
@@ -116077,7 +116076,6 @@ let _d  = fun  s lam ->
 *)
 let compile  
     (output_prefix : string) 
-    (env : Env.t) 
     (lam : Lambda.lambda)   = 
   let export_idents = Translmod.get_export_identifiers() in
   let export_ident_sets = Ident_set.of_list export_idents in 
@@ -119880,7 +119878,7 @@ let implementation ~use_super_errors ?(react_ppx_version=V3) prefix impl str  :
   (* Env.set_unit_name modulename; *)
   Lam_compile_env.reset () ;
   let env = Compmisc.initial_env() in (* Question ?? *)
-  let finalenv = ref Env.empty in
+  (* let finalenv = ref Env.empty in *)
   let types_signature = ref [] in
   if use_super_errors then begin
     Misc.Color.setup (Some Always);
@@ -119899,8 +119897,8 @@ let implementation ~use_super_errors ?(react_ppx_version=V3) prefix impl str  :
     | V3 -> Reactjs_jsx_ppx_v3.rewrite_implementation ast in 
     let ast = Bs_builtin_ppx.rewrite_implementation ast in 
     let typed_tree = 
-      let (a,b,c,signature) = Typemod.type_implementation_more modulename modulename modulename env ast in
-      finalenv := c ;
+      let (a,b,_,signature) = Typemod.type_implementation_more modulename modulename modulename env ast in
+      (* finalenv := c ; *)
       types_signature := signature;
       (a,b) in      
   typed_tree
@@ -119915,7 +119913,7 @@ let implementation ~use_super_errors ?(react_ppx_version=V3) prefix impl str  :
                           ~output_prefix:"" (* does not matter here *)
                           NodeJS
                           (Lam_compile_main.compile ""
-                             !finalenv  lam)
+                              lam)
                           (Ext_pp.from_buffer buffer) in
       let v = Buffer.contents buffer in
       Js.Unsafe.(obj [| "js_code", inject @@ Js.string v |]) )

lib/4.02.3/whole_compiler.ml

@@ -113647,7 +113647,6 @@ module Lam_compile_main : sig
  *)
 val compile :  
   string -> 
-  Env.t ->   
   Lambda.lambda -> 
   J.deps_program
 
@@ -113786,7 +113785,6 @@ let _d  = fun  s lam ->
 *)
 let compile  
     (output_prefix : string) 
-    (env : Env.t) 
     (lam : Lambda.lambda)   = 
   let export_idents = Translmod.get_export_identifiers() in
   let export_ident_sets = Ident_set.of_list export_idents in 
@@ -123085,7 +123083,7 @@ let after_parsing_impl ppf  outputprefix ast =
       let env = Compmisc.initial_env() in
       Env.set_unit_name modulename;
 
-      let (typedtree, coercion, finalenv, current_signature) =
+      let (typedtree, coercion, _, _) =
         ast 
         |> Typemod.type_implementation_more ?check_exists:(if !Js_config.force_cmi then None else Some ()) !Location.input_name outputprefix modulename env 
         |> print_if ppf Clflags.dump_typedtree
@@ -123099,7 +123097,7 @@ let after_parsing_impl ppf  outputprefix ast =
         |> (fun lambda -> 
             let js_program =  
             print_if ppf Clflags.dump_rawlambda Printlambda.lambda (get_lambda lambda)
-            |> Lam_compile_main.compile outputprefix finalenv in 
+            |> Lam_compile_main.compile outputprefix in 
             if not !Js_config.cmj_only then 
               Lam_compile_main.lambda_as_module
                 js_program