diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-10 03:17:08 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-10 03:17:08 +0200 |
| commit | e061e1a91afc552fd7c3d7e5f7efb59746cc446f (patch) | |
| tree | f51d8b715dada45c9bc7081d00a8452a6cfda131 /src/LambdaCube/Compiler/InferMonad.hs | |
| parent | 99319080348a59bc699503c93997c6bc9e27fac6 (diff) | |
closedExp is not needed any more
Diffstat (limited to 'src/LambdaCube/Compiler/InferMonad.hs')
| -rw-r--r-- | src/LambdaCube/Compiler/InferMonad.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/LambdaCube/Compiler/InferMonad.hs b/src/LambdaCube/Compiler/InferMonad.hs index 26f0e7eb..3e0aa980 100644 --- a/src/LambdaCube/Compiler/InferMonad.hs +++ b/src/LambdaCube/Compiler/InferMonad.hs | |||
| @@ -146,7 +146,7 @@ addToEnv sn@(SIName si s) (ET x t) = do | |||
| 146 | tell [IType sn t] | 146 | tell [IType sn t] |
| 147 | v <- asks $ Map.lookup s . snd | 147 | v <- asks $ Map.lookup s . snd |
| 148 | case v of | 148 | case v of |
| 149 | Nothing -> return $ Map.singleton s (closedExp x, closedExp t, si) | 149 | Nothing -> return $ Map.singleton s (x, t, si) |
| 150 | Just (_, _, si') -> throwError' $ ERedefined s si si' | 150 | Just (_, _, si') -> throwError' $ ERedefined s si si' |
| 151 | 151 | ||
| 152 | 152 | ||