Agda-2.5.2: A dependently typed functional programming language and proof assistant

Safe HaskellNone
LanguageHaskell2010

Agda.TypeChecking.Errors

Contents

Synopsis

Documentation

prettyError :: MonadTCM tcm => TCErr -> tcm String #

tcWarningsToError :: [TCWarning] -> TCM a #

Turns all warnings into errors.

applyFlagsToTCWarnings :: IgnoreFlags -> [TCWarning] -> TCM [TCWarning] #

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

Orphan instances