X-Git-Url: https://ruin.nu/git/?a=blobdiff_plain;ds=sidebyside;f=Typechecker.hs;h=87054767c896ee26b405b0af976f0b4bd09f5050;hb=97b7064110b10d38c0f75502d08a95550a9a04ba;hp=fb6986c317591f0b732b6cb8283c8b132cb768e9;hpb=93b042040034d199c925248a2dd1c321773ab6d0;p=proglang.git

diff --git a/Typechecker.hs b/Typechecker.hs
index fb6986c..8705476 100644
--- a/Typechecker.hs
+++ b/Typechecker.hs
@@ -15,9 +15,6 @@ import Typecheck
 import Control.Monad.State
 import Data.Map as Map hiding (showTree)
 
-
-
-
 import ErrM
 
 type ParseFun a = [Token] -> Err a
@@ -42,7 +39,7 @@ 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]
 		return ()
 
 showTree :: (Show a, Print a) => Int -> a -> IO ()