interpreter compiles

[proglang.git] / Typechecker.hs

diff --git a/Typechecker.hs b/Typechecker.hs
index 71810e698b7854109d0f728951f504b25ab45cda..19f5a6687e48373a196c6aba6178939a720485d9 100644 (file)
--- a/Typechecker.hs
+++ b/Typechecker.hs
@@ -45,7 +45,7 @@ run v p s = let ts = myLLexer s in case p ts of
        Ok (Program s) -> let (fun,st) = splitFunStm (s) in do
                putStrLn "\nParse Successful!"
                showTree v (Program s)
-               runStateT (do mapM addFunction fun; mapM typeCheckFunction fun; mapM typeCheckStm st) State{variables=[empty], functions=(empty), function=(Ident "")}
+               runStateT (do mapM addFunction fun; mapM typeCheckFunction fun; mapM typeCheckStm st) emptyState
                print "The program is type-correct!!"
                return ()