diff options
| author | Tom Smeding <tom.smeding@gmail.com> | 2019-04-24 21:57:27 +0200 |
|---|---|---|
| committer | Tom Smeding <tom.smeding@gmail.com> | 2019-04-24 21:57:27 +0200 |
| commit | e83d85eb08a370f3943294f21a4c27cd3b12ad09 (patch) | |
| tree | 14d600ce00b99942033e44f5160e5cef169471e9 /src/Main.hs | |
| parent | 8a3653d8f30f7d0f79556f464ea781472a931b2e (diff) | |
Start working on a type checkertypes
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 |