repositories
/
minfp.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
015d8914bea631a35c3b99d2eaceed5edc6a3588
[minfp.git]
/
check.dcl
1
definition module check
2
3
from Data.Either import :: Either
4
from ast import :: AST, :: Type
5
6
:: Scheme = Forall [[Char]] Type
7
check :: AST -> Either [String] (AST, [([Char], Scheme)])