Add LambdaBody to CoreContext.
[matthijs/master-project/cλash.git] / cλash / CLasH / Normalize / NormalizeTools.hs
index 09ae3f579485c946f311e020ccb55b514a5641ad..0402d9327c9463055ec7ff8bdd8c8dbcadcfe008 100644 (file)
@@ -77,7 +77,7 @@ subeverywhere trans c (Let (Rec binds) expr) = do
       return (b, e')
 
 subeverywhere trans c (Lam x expr) = do
-  expr' <- trans (Other:c) expr
+  expr' <- trans (LambdaBody:c) expr
   return $ Lam x expr'
 
 subeverywhere trans c (Case scrut b t alts) = do