Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
checkDecls :: [Declaration] -> TCM () Source
Type check a sequence of declarations.
checkDecl :: Declaration -> TCM () Source
Type check a single declaration.
Safe Haskell | None |
---|---|
Language | Haskell98 |
checkDecls :: [Declaration] -> TCM () Source
Type check a sequence of declarations.
checkDecl :: Declaration -> TCM () Source
Type check a single declaration.