Safe Haskell | None |
---|
- prettyError :: MonadTCM tcm => TCErr -> tcm String
- class PrettyTCM a where
- tcErrString :: TCErr -> String
- data Warnings = Warnings {
- terminationProblems :: Maybe TCErr
- unsolvedMetaVariables :: [Range]
- unsolvedConstraints :: Constraints
- warningsToError :: Warnings -> TCM a
Documentation
prettyError :: MonadTCM tcm => TCErr -> tcm StringSource
tcErrString :: TCErr -> StringSource
Warnings.
Invariant: The fields are never empty at the same time.
Warnings | |
|
warningsToError :: Warnings -> TCM aSource
Turns warnings into an error. Even if several errors are possible only one is raised.