check.dcl

   1 definition module check
   2
   3 from StdOverloaded import class toString
   4 from Data.Either import :: Either
   5 from ast import :: Function, :: Expression, :: Type, :: TypeDef
   6
   7 :: Scheme = Forall [[Char]] Type
   8
   9 instance toString Scheme
  10
  11 check :: ![Either TypeDef Function] -> Either [String] (Expression, [([Char], Scheme)])