infer.dcl

   1 definition module infer
   2
   3 from Data.Map import :: Map
   4
   5 :: Type
   6         = VarType String
   7         | IntType
   8         | BoolType
   9         | CharType
  10         | Arrow Type Type
  11 :: Scheme = Forall [String] Type
  12
  13 infer :: Expression -> Infer Type