Agda-2.6.1.3: A dependently typed functional programming language and proof assistant
Safe HaskellNone
LanguageHaskell2010

Agda.TypeChecking.Pretty.Warning

Synopsis

Documentation

filterTCWarnings :: [TCWarning] -> [TCWarning] Source #

If there are several warnings, remove the unsolved-constraints warning in case there are no interesting constraints to list.

tcWarningsToError :: [TCWarning] -> TCM a Source #

Turns all warnings into errors.

applyFlagsToTCWarnings' :: MainInterface -> [TCWarning] -> TCM [TCWarning] Source #

Depending which flags are set, one may happily ignore some warnings.

Orphan instances

PrettyTCM TCWarning Source # 
Instance details

PrettyTCM Warning Source # 
Instance details

Methods

prettyTCM :: MonadPretty m => Warning -> m Doc Source #