diff options
Diffstat (limited to 'src/Main.hs')
-rw-r--r-- | src/Main.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/Main.hs b/src/Main.hs index a6d80b3..1b1f17a 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -7,8 +7,9 @@ import Haskell.AST import Haskell.Env import Haskell.Env.Cmd import Haskell.Env.Context -import Haskell.Rewrite import Haskell.Parser +import Haskell.Rewrite +import Haskell.TypeCheck import Pretty import System.Environment import System.Exit @@ -221,7 +222,8 @@ main = do _ -> die "Usage: verify-hs <file.hs>" source <- readFile fname - ast <- tryEither' (parseAST fname source) + ast' <- tryEither' (parseAST fname source) + ast <- tryEither' (typeCheck ast') -- print ast env0 <- tryEither (envFromAST ast) -- print env0 |