repositories / cc1516.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
stub for typechecking
[cc1516.git] / type.dcl
1 definition module type
2
3 from Data.Either import :: Either
4 from AST import :: AST
5
6 typecheck :: AST -> Either String AST
Unnamed repository; edit this file 'description' to name the repository.