import Data.Map as Map
import Prelude hiding (lookup)
-
type Types = Map Ident Type
inList :: Eq a => a -> [a] -> Bool
TInt <- typeCheckExp e
return TInt
-
typeCheckVar :: (MonadState Types m) => Ident -> m Type
typeCheckVar i = do
e <- get
typeCheckStm (SPrint e) = do
typeCheckExp e
return NoType
-