| Safe Haskell | None |
|---|
CSPM.TypeChecker.Exceptions
- type Error = Doc
- type Warning = Doc
- infiniteUnificationMessage :: Type -> Type -> Error
- unificationErrorMessage :: [(Type, Type)] -> Error
- incorrectArgumentCountMessage :: Doc -> Int -> Int -> Error
- constraintUnificationErrorMessage :: Constraint -> Type -> Error
- deprecatedNameUsed :: Name -> Maybe Name -> Error
- unsafeNameUsed :: Name -> Error
- illegalModuleInstanceCycleErrorMessage :: Name -> Name -> [Name] -> Error
- data ErrorOptions = ErrorOptions {}
- defaultErrorOptions :: ErrorOptions
Documentation
infiniteUnificationMessage :: Type -> Type -> ErrorSource
unificationErrorMessage :: [(Type, Type)] -> ErrorSource
unsafeNameUsed :: Name -> ErrorSource
data ErrorOptions Source
A datatype used to hold which errors and warnings to actually emit.
Constructors
| ErrorOptions | |
Fields | |