Some typechecker work

1 files changed, 7 insertions, 1 deletions

diff --git a/app/Main.hs b/app/Main.hs
index bf4fcfd..e5144f1 100644
--- a/app/Main.hs
+++ b/app/Main.hs
@@ -8,6 +8,7 @@ import System.Exit (die, exitFailure)
 
 import HSVIS.Diagnostic
 import HSVIS.Parser
+import HSVIS.Typecheck
 
 
 main :: IO ()
@@ -21,8 +22,13 @@ main = do
     (errs, Nothing) -> do
       sequence_ $ intersperse (putStrLn "") (map (putStrLn . printDiagnostic) errs)
       exitFailure
-    (errs, res) -> do
+    (errs, Just res) -> do
       sequence_ $ intersperse (putStrLn "") (map (putStrLn . printDiagnostic) errs)
       return res
 
   print prog
+
+  let (errs, tprog) = typecheck fname source prog
+  sequence_ $ intersperse (putStrLn "") (map (putStrLn . printDiagnostic) errs)
+
+  print tprog