diff options
author | tomsmeding <tom.smeding@gmail.com> | 2017-08-20 11:17:05 +0200 |
---|---|---|
committer | tomsmeding <tom.smeding@gmail.com> | 2017-08-20 11:17:05 +0200 |
commit | 965f8bf85d7850be074bad735d815b15a85a3de0 (patch) | |
tree | 915cb183c943c503c4b4a561679b7edc2e4a2938 /Main.hs | |
parent | 694ec05bcad01fd27606aace73b49cdade16945e (diff) |
Second
Diffstat (limited to 'Main.hs')
-rw-r--r-- | Main.hs | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -35,11 +35,10 @@ main = do let eres = return source >>= parseProgram <?> "Parse error" - -- >>= return . traceShowId >>= typeCheck <?> "Type error" >>= buildIR <?> "IR building error" - -- >>= return . tracePrettyId >>= optimise <?> "Error while optimising" + >>= return . traceShowId >>= verify <?> "Verify error" >>= return . tracePrettyId >>= codegen <?> "Codegen error" |