sem.dcl

   1 definition module sem
   2
   3 import qualified Data.Map as Map
   4 from Data.Either import :: Either
   5 from AST import :: AST, :: Pos, :: Type, :: FieldSelector, :: Op2
   6 from StdOverloaded import class toString
   7
   8 :: SemError
   9 :: Gamma
  10 :: SemOutput :== Either [SemError] (AST, Gamma)
  11 :: Constraints :== [(Type, Type)]
  12
  13 instance toString SemError
  14 instance toString Gamma
  15
  16 sem :: AST -> Either [SemError] (AST, Gamma)