libcspm-0.2.1: A library providing a parser, type checker and evaluator for CSPM.

CSPM.TypeChecker.Exceptions

Documentation

type Error = DocSource

type Warning = DocSource

infiniteUnificationMessage :: Type -> Type -> ErrorSource

unificationErrorMessage :: [(Type, Type)] -> ErrorSource

incorrectArgumentCountMessage :: Doc -> Int -> Int -> ErrorSource

constraintUnificationErrorMessage :: Constraint -> Type -> ErrorSource

deprecatedNameUsed :: Name -> Maybe Name -> ErrorSource

unsafeNameUsed :: Name -> ErrorSource