X-Git-Url: https://ruin.nu/git/?p=proglang.git;a=blobdiff_plain;f=Typechecker.hs;h=d9b1e1047b67d8b355dca3290ac93173b4e0417d;hp=87054767c896ee26b405b0af976f0b4bd09f5050;hb=80dc2356f0ac48fc4e026e549f85ad1a1d01834b;hpb=97b7064110b10d38c0f75502d08a95550a9a04ba

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