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