CR

ocsigen · Nov 12, 2023 · 9f61092 · 9f61092
1 parent 0bc46b1
commit 9f61092
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/compiler/lib/driver.ml b/compiler/lib/driver.ml
@@ -87,19 +87,15 @@ let phi p =
 
 let ( +> ) f g x = g (f x)
 
-let map_triple_fst f (x, y, z) = f x, y, z
-
 let effects p =
   if Config.Flag.effects ()
   then (
     if debug () then Format.eprintf "Effects...@.";
     p
     |> Deadcode.f
        +> Effects.f
-       +>
-       if Config.Flag.double_translation ()
-       then Fun.id
-       else map_triple_fst Lambda_lifting.f)
+       +> fun (x, y, z) ->
+       if Config.Flag.double_translation () then x, y, z else Lambda_lifting.f x, y, z)
   else
     ( p
     , (Code.Var.Set.empty : Effects.cps_calls)