diff options
Diffstat (limited to 'src/LambdaCube')
-rw-r--r-- | src/LambdaCube/Compiler/Infer.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/LambdaCube/Compiler/Infer.hs b/src/LambdaCube/Compiler/Infer.hs index 1cb528ea..df2db6e8 100644 --- a/src/LambdaCube/Compiler/Infer.hs +++ b/src/LambdaCube/Compiler/Infer.hs | |||
@@ -69,8 +69,9 @@ mkELet n x xt env = {-(if null vs then id else trace_ $ "mkELet " ++ show (lengt | |||
69 | 69 | ||
70 | grow acc s | 70 | grow acc s |
71 | | Set.null s = acc | 71 | | Set.null s = acc |
72 | | otherwise = grow (s' <> acc) (s' Set.\\ acc) | 72 | | otherwise = grow acc' (s' Set.\\ acc') |
73 | where | 73 | where |
74 | acc' = s <> acc | ||
74 | s' = mconcat (free . snd . flip (varType "mkELet2") env <$> Set.toList s) | 75 | s' = mconcat (free . snd . flip (varType "mkELet2") env <$> Set.toList s) |
75 | 76 | ||
76 | instance PShow (CEnv Exp) where | 77 | instance PShow (CEnv Exp) where |