3 import qualified Data.Map as Map
4 from Data.Either import :: Either
5 from AST import :: AST, :: Pos, :: Type, :: FieldSelector
6 from StdOverloaded import class toString
9 = ParseError Pos String
10 | UnifyError Pos Type Type
11 | FieldSelectorError Pos Type FieldSelector
14 :: SemOutput :== Either [SemError] (AST, Gamma)
16 instance toString SemError
17 instance toString Gamma
19 sem :: AST -> SemOutput