Safe Haskell | None |
---|
CSPM.TypeChecker.Decl
- typeCheckDecls :: [TCDecl] -> TypeCheckMonad ()
Documentation
typeCheckDecls :: [TCDecl] -> TypeCheckMonad ()Source
Type check a list of possibly mutually recursive functions
libcspm-1.0.0: A library providing a parser, type checker and evaluator for CSPM.
Safe Haskell | None |
---|
CSPM.TypeChecker.Decl
typeCheckDecls :: [TCDecl] -> TypeCheckMonad ()Source
Type check a list of possibly mutually recursive functions