| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.TypeChecking.Errors
Contents
- prettyError :: MonadTCM tcm => TCErr -> tcm String
- tcErrString :: TCErr -> String
- prettyTCWarnings :: [TCWarning] -> TCM String
- tcWarningsToError :: [TCWarning] -> TCM a
- applyFlagsToTCWarnings :: IgnoreFlags -> [TCWarning] -> TCM [TCWarning]
Documentation
tcErrString :: TCErr -> String Source #
tcWarningsToError :: [TCWarning] -> TCM a Source #
Turns all warnings into errors.
applyFlagsToTCWarnings :: IgnoreFlags -> [TCWarning] -> TCM [TCWarning] Source #
Depending which flags are set, one may happily ignore some warnings.