support for scope

[proglang.git] / Typechecker.hs

diff --git a/Typechecker.hs b/Typechecker.hs
index 2e205b7d0d516554e7d6909e9bbcf31d066898ee..87054767c896ee26b405b0af976f0b4bd09f5050 100644 (file)
--- a/Typechecker.hs
+++ b/Typechecker.hs
@@ -39,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 ()