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
   6
   7 :: Scheme = Forall [[Char]] Type
   8 :: Type
   9         = TVar [Char]
  10         | TInt
  11         | TBool
  12         | TFun Type Type
  13 instance toString Scheme, Type
  14 check :: [Function] -> Either [String] Expression