CompInt, integrated compiler and interpreter for the new century

[proglang.git] / Interpreter.hs

diff --git a/Interpreter.hs b/Interpreter.hs
index bccc53d0fdb4871b1469011ee041adf59b196cd8..694ce2367ea328c1e4b2ebb270ab743a99f5e87a 100644 (file)
--- a/Interpreter.hs
+++ b/Interpreter.hs
@@ -38,14 +38,13 @@ run v p s = let ts = myLLexer s in case p ts of
                putStrV v $ show ts
                putStrLn s
        Ok (Program s) -> do
-               putStrLn "\nParse Successful!"
-               showTree v (Program s)
-               runStateT (mapM typeCheckStm s) [empty]
-               print "The program is type-correct!!"
-               print "Running program:"
-               runStateT (mapM execute s) [empty]
-               print "Done running program!"
-               return ()
+               --putStrLn "\nParse Successful!"
+               --showTree v (Program s)
+               typeCheck s
+               --print "The program is type-correct!!"
+               --print "Running program:"
+               interpret s
+               --print "Done running program!"
 
 showTree :: (Show a, Print a) => Int -> a -> IO ()
 showTree v tree