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