diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-02-13 11:25:36 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-13 13:11:38 +0100 |
| commit | 5a2116c429a9762d17440e30b88572dc5d0cbadd (patch) | |
| tree | 7efc0b3331c4f1d286671e7883f38e898b83d8b6 /src/LambdaCube/Compiler.hs | |
| parent | f1368ab5c95229af52f61678fc18ab0fd2c1df86 (diff) | |
refactoring (use infer monad)
Diffstat (limited to 'src/LambdaCube/Compiler.hs')
| -rw-r--r-- | src/LambdaCube/Compiler.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/LambdaCube/Compiler.hs b/src/LambdaCube/Compiler.hs index e5496062..f6e2ccd3 100644 --- a/src/LambdaCube/Compiler.hs +++ b/src/LambdaCube/Compiler.hs | |||
| @@ -145,7 +145,7 @@ loadModule imp mname = do | |||
| 145 | ms <- mapM loadModuleImports $ moduleImports e | 145 | ms <- mapM loadModuleImports $ moduleImports e |
| 146 | x' <- {-trace ("loading " ++ fname) $-} do | 146 | x' <- {-trace ("loading " ++ fname) $-} do |
| 147 | env <- joinPolyEnvs False ms | 147 | env <- joinPolyEnvs False ms |
| 148 | x <- MMT $ lift $ mapExceptT (lift . mapWriterT (return . runIdentity)) $ inference_ env e | 148 | x <- MMT $ lift $ mapExceptT (lift . mapWriterT (return . runIdentity)) $ inference_ env e src |
| 149 | case moduleExports e of | 149 | case moduleExports e of |
| 150 | Nothing -> return x | 150 | Nothing -> return x |
| 151 | Just es -> joinPolyEnvs False $ flip map es $ \exp -> case exp of | 151 | Just es -> joinPolyEnvs False $ flip map es $ \exp -> case exp of |