simplify local function handling

1 files changed, 1 insertions, 12 deletions

diff --git a/src/LambdaCube/Compiler/InferMonad.hs b/src/LambdaCube/Compiler/InferMonad.hs
index e96a619d..a86518c8 100644
--- a/src/LambdaCube/Compiler/InferMonad.hs
+++ b/src/LambdaCube/Compiler/InferMonad.hs
@@ -26,6 +26,7 @@ import Control.Monad.Writer
 import Control.Arrow hiding ((<+>))
 import Control.DeepSeq
 
+import LambdaCube.Compiler.Utils
 import LambdaCube.Compiler.DeBruijn
 import LambdaCube.Compiler.Pretty hiding (braces, parens)
 import LambdaCube.Compiler.DesugaredSource hiding (getList)
@@ -160,18 +161,6 @@ downTo n m = map Var [n+m-1, n+m-2..n]
 
 withEnv e = local $ second (<> e)
 
-mkELet n x xt = {-(if null vs then id else trace_ $ "mkELet " ++ show (length vs) ++ " " ++ show n)-} term
-  where
-    vs = [Var i | i <- Set.toList $ free x <> free xt]
-    nloc = length vs
-    fn = FunName (mkFName n) nloc (ExpDef x) xt
-
-    term = mkFun fn vs [] $ getFix x 0
-
-    getFix (Lam z) i = Lam $ getFix z (i+1)
-    getFix (TFun FprimFix _ [t, Lam f]) i = subst 0 (foldl app_ term (downTo 0 i)) f
-    getFix x _ = x
-
 lamPi h t (ET x y) = ET (Lam x) (Pi h t y)
 
 -- Ambiguous: (Int ~ F a) => Int