Safe Haskell | None |
---|
- prettyError :: TCErr -> TCM String
- class PrettyTCM a where
- tcErrString :: TCErr -> String
- data Warnings = Warnings {}
- warningsToError :: Warnings -> TypeError
Documentation
prettyError :: TCErr -> TCM StringSource
tcErrString :: TCErr -> StringSource
Warnings.
Invariant: The fields are never empty at the same time.
Warnings | |
|
warningsToError :: Warnings -> TypeErrorSource
Turns warnings into an error. Even if several errors are possible only one is raised.