Ok (Program s) -> do
putStrLn "\nParse Successful!"
showTree v (Program s)
- runStateT (mapM typeCheckStm s) empty
+ runStateT (mapM typeCheckStm s) [empty]
+ print "The program is type-correct!!"
return ()
showTree :: (Show a, Print a) => Int -> a -> IO ()