TypeChecker
Documentation
buildContext :: CF -> Context
extendContext :: Context -> [(String, Type)] -> Context
checkDefinitions :: CF -> Err ()
checkContext :: Context -> Err ()
bnfc
TypeChecker
buildContext :: CF -> Context
extendContext :: Context -> [(String, Type)] -> Context
checkDefinitions :: CF -> Err ()
checkContext :: Context -> Err ()