From af658b2c5afb16d6939c2342e7fb251521ebb64d Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Wed, 26 Oct 2022 00:42:53 +0200
Subject: [PATCH] cleanup

---
 src/Juvix/Compiler/Core/Extra/Base.hs | 11 +----------
 1 file changed, 1 insertion(+), 10 deletions(-)

diff --git a/src/Juvix/Compiler/Core/Extra/Base.hs b/src/Juvix/Compiler/Core/Extra/Base.hs
index 6ed476079c..130a16de84 100644
--- a/src/Juvix/Compiler/Core/Extra/Base.hs
+++ b/src/Juvix/Compiler/Core/Extra/Base.hs
@@ -44,10 +44,6 @@ mkConstr i tag args = NCtr (Constr i tag args)
 mkConstr' :: Tag -> [Node] -> Node
 mkConstr' = mkConstr Info.empty
 
--- TODO remove
-mkLambdaOld :: Info -> Node -> Node
-mkLambdaOld i b = NLam (Lambda i emptyBinder b)
-
 mkLambda :: Info -> Binder -> Node -> Node
 mkLambda i bi b = NLam (Lambda i bi b)
 
@@ -215,27 +211,22 @@ unfoldApps = go []
 unfoldApps' :: Node -> (Node, [Node])
 unfoldApps' = second (map snd) . unfoldApps
 
-mkLambdas :: [Info] -> Node -> Node
-mkLambdas is n = foldl' (flip mkLambdaOld) n (reverse is)
-
 reLambda :: LambdaLhs -> Node -> Node
 reLambda lhs = mkLambda (lhs ^. lambdaLhsInfo) (lhs ^. lambdaLhsBinder)
 
 reLambdas :: [LambdaLhs] -> Node -> Node
 reLambdas is n = foldl' (flip reLambda) n (reverse is)
 
--- | the given info corresponds to the binder info
 mkLambdaB :: Binder -> Node -> Node
 mkLambdaB = mkLambda mempty
 
--- | the given infos correspond to the binder infos
 mkLambdasB :: [Binder] -> Node -> Node
 mkLambdasB is n = foldl' (flip mkLambdaB) n (reverse is)
 
 mkLambdas' :: Int -> Node -> Node
 mkLambdas' k
   | k < 0 = impossible
-  | otherwise = mkLambdas (replicate k Info.empty)
+  | otherwise = mkLambdasB (replicate k emptyBinder)
 
 unfoldLambdasRev :: Node -> ([LambdaLhs], Node)
 unfoldLambdasRev = go []