ModuleAgda-2.8.0.2Haskell2010

Agda.TypeChecking.Pretty.Warning

valueapplyFlagsToTCWarnings :: HasOptions m => Set TCWarning -> m (Set TCWarning)

valueapplyFlagsToTCWarningsPreserving

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

valuefilterTCWarnings :: Set TCWarning -> TCM [TCWarning]

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

valuegetAllUnsolvedWarnings :: (ReadTCState m, MonadWarning m, MonadTCM m) => m [TCWarning]

valuegetAllWarnings

Collect all warnings that have accumulated in the state.

valuegetAllWarningsOfTCErr :: TCErr -> TCM (Set TCWarning)

valuegetAllWarningsPreserving

valueprettyDuplicateFields :: MonadPretty m => List1 Name -> m Doc

valueprettyTCWarnings :: Set TCWarning -> TCM String

valueprettyTCWarnings' :: Set TCWarning -> TCM [Doc]

valueprettyTooManyFields

valueprettyWarning :: MonadPretty m => Warning -> m Doc

valuetcWarningsToError :: [TCWarning] -> TCM ()

Turns warnings, if any, into errors.

Orphan instances

3 instances