cleanup

2 files changed, 1 insertions, 3 deletions

diff --git a/prototypes/CGExp.hs b/prototypes/CGExp.hs
index 92c2f2c4..d10e04bb 100644
--- a/prototypes/CGExp.hs
+++ b/prototypes/CGExp.hs
@@ -127,6 +127,7 @@ freeVars = \case
     Lam _ n a b -> freeVars a `S.union` (foldr S.delete (freeVars b) (patVars n))
     EFieldProj a _ -> freeVars a
     TType -> mempty
+    ELet n a b -> freeVars a `S.union` (foldr S.delete (freeVars b) (patVars n))
 
 type Ty = Exp
 
@@ -190,8 +191,6 @@ infixr 1 :~>
 
 eLam p x = Lam Visible p (patTy p) x
 
-mkLam (Lam Visible (PVar _ n) t (Fun ("Tuple2Case", _) [_, _, motive, Lam Visible (PVar _ n1) t1 (Lam Visible (PVar _ n2) t2 body), Var n' _])) | n == n'
-    = Just (PTuple [PVar t1 n1, PVar t2 n2], body)
 mkLam (Lam Visible p t b) = Just (p, b)
 mkLam _ = Nothing
 
diff --git a/prototypes/Infer.hs b/prototypes/Infer.hs
index 09d38a63..2e6c3364 100644
--- a/prototypes/Infer.hs
+++ b/prototypes/Infer.hs
@@ -6,7 +6,6 @@
 {-# LANGUAGE NoMonomorphismRestriction #-}
 {-# LANGUAGE OverloadedStrings #-}
 {-# LANGUAGE DeriveFunctor #-}
-{-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE RecursiveDo #-}
 module Infer