X-Git-Url: https://ruin.nu/git/?a=blobdiff_plain;f=Typechecker.hs;h=d9b1e1047b67d8b355dca3290ac93173b4e0417d;hb=2c2f90fca1005f6dedc69ee7f3d7c5072e5c123b;hp=2e205b7d0d516554e7d6909e9bbcf31d066898ee;hpb=de34a0eeb75a54ce9ae058797327cd5ddc853ecc;p=proglang.git

diff --git a/Typechecker.hs b/Typechecker.hs
index 2e205b7..d9b1e10 100644
--- a/Typechecker.hs
+++ b/Typechecker.hs
@@ -39,7 +39,8 @@ run v p s = let ts = myLLexer s in case p ts of
 	Ok (Program s) -> do
 		putStrLn "\nParse Successful!"
 		showTree v (Program s)
-		runStateT (mapM typeCheckStm s) empty
+		runStateT (mapM typeCheckStm s) [empty]
+		print "The program is type-correct!!"
 		return ()
 
 showTree :: (Show a, Print a) => Int -> a -> IO ()