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)])