Double translation: fix stack overflow issue

The CPS code can still be deeply nested, so we need to perform a lambda
lifting after the translation.

Author: vouillon

CHANGES.md

@@ -13,6 +13,7 @@
 * Runtime: fix path normalization (#1848)
 * Runtime: fix reading from the pseudo-filesystem (#1859)
 * Runtime: fix initialization of standard streams under Windows (#1849)
+* Compiler: fix stack overflow issues with double translation (#1869)
 
 # 6.0.1 (2025-02-07) - Lille
 

compiler/lib/driver.ml

@@ -99,7 +99,7 @@ let map_fst f (x, y, z) = f x, y, z
 
 let effects ~deadcode_sentinal p =
   match Config.effects () with
-  | (`Cps | `Double_translation) as effects ->
+  | `Cps | `Double_translation ->
       if debug () then Format.eprintf "Effects...@.";
       let p, live_vars = Deadcode.f p in
       let p = Effects.remove_empty_blocks ~live_vars p in
@@ -112,12 +112,7 @@ let effects ~deadcode_sentinal p =
           Deadcode.f p
         else p, live_vars
       in
-      p
-      |> Effects.f ~flow_info:info ~live_vars
-      |> map_fst
-           (match effects with
-           | `Double_translation -> Fun.id
-           | `Cps -> Lambda_lifting.f)
+      p |> Effects.f ~flow_info:info ~live_vars |> map_fst Lambda_lifting.f
   | `Disabled | `Jspi ->
       ( p
       , (Code.Var.Set.empty : Effects.trampolined_calls)

tools/dune

@@ -1,19 +1,8 @@
 (executable
  (name node_wrapper)
- (modules node_wrapper node_wrapper_per_profile)
+ (modules node_wrapper)
  (libraries unix))
 
-(executable
- (name gen_node_wrapper_per_profile)
- (modules gen_node_wrapper_per_profile))
-
-(rule
- (target node_wrapper_per_profile.ml)
- (action
-  (with-stdout-to
-   %{target}
-   (run ./gen_node_wrapper_per_profile.exe %{profile}))))
-
 (executable
  (name ci_setup)
  (modules ci_setup)

tools/gen_node_wrapper_per_profile.ml

@@ -4,7 +4,7 @@ let extra_args_for_wasoo =
   ; "--stack-size=10000"
   ]
 
-let extra_args_for_jsoo = [] @ Node_wrapper_per_profile.args
+let extra_args_for_jsoo = []
 
 let env = Unix.environment ()