Safe Haskell | None |
---|
- typeCheckDecls :: [TCDecl] -> TypeCheckMonad ()
Documentation
typeCheckDecls :: [TCDecl] -> TypeCheckMonad ()Source
Type check a list of possibly mutually recursive functions
Safe Haskell | None |
---|
typeCheckDecls :: [TCDecl] -> TypeCheckMonad ()Source
Type check a list of possibly mutually recursive functions