1 implementation module sem
3 from Data.Map import :: Map
5 import Control.Monad.State
9 from parse import :: ParserOutput
10 from yard import :: Error
12 :: Gamma :== Map String Type
13 :: Env a :== State Gamma a
15 sem :: ParserOutput -> SemOutput
17 sem (Right (AST vd fd)) = undef
18 // foldM semVarDecl vd
19 // >>= \gamma ->foldM typecheck gamma fd
21 semVarDecl :: Env VarDecl