3 from Data.Either import :: Either
4 from AST import :: AST, :: Pos, :: Type
5 from StdOverloaded import class toString
8 = ParseError Pos String
9 | UnifyError Pos Type Type
10 | UnifyErrorStub Type Type
12 :: SemOutput :== Either [SemError] AST
15 instance toString SemError
17 sem :: AST -> SemOutput