From 9f61092a5ad0a169e2177a5c8e252b5e17a9f96c Mon Sep 17 00:00:00 2001
From: Hugo Heuzard <hugo.heuzard@gmail.com>
Date: Sun, 12 Nov 2023 07:13:10 +0100
Subject: [PATCH] CR

---
 compiler/lib/driver.ml | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/compiler/lib/driver.ml b/compiler/lib/driver.ml
index 34b1576bbe..2c78dab255 100644
--- a/compiler/lib/driver.ml
+++ b/compiler/lib/driver.ml
@@ -87,8 +87,6 @@ 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 (
@@ -96,10 +94,8 @@ let effects p =
     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)