Moduleghc-9.10.3GHC2021

GHC.HsToCore.Pmc.Utils

Utility module for the pattern-match coverage checker.

11 values

Packageghc-9.10.3
Exports11
LanguageGHC2021
LicenceBSD-3-Clause
SourceUtils.hs

valuetracePm :: String -> SDoc -> DsM ()

valuetraceWhenFailPm :: String -> SDoc -> MaybeT DsM a -> MaybeT DsM a

valuemkPmId :: Type -> DsM Id

Generate a fresh Id of a given type

valueallPmCheckWarnings :: [WarningFlag]

All warning flags that need to run the pattern match checker.

valueoverlapping :: DynFlags -> HsMatchContext fn -> Bool

Check whether the redundancy checker should run (redundancy only)

valueexhaustive :: DynFlags -> HsMatchContext fn -> Bool

Check whether the exhaustiveness checker should run (exhaustiveness only)

valueredundantBang :: DynFlags -> Bool

Check whether unnecessary bangs should be warned about

valueexhaustiveWarningFlag :: HsMatchContext fn -> Maybe WarningFlag

Denotes whether an exhaustiveness check is supported, and if so, via which WarningFlag it's controlled. Returns Nothing if check is not supported.

valueisMatchContextPmChecked :: DynFlags -> Origin -> HsMatchContext fn -> Bool

Check whether any part of pattern match checking is enabled for this HsMatchContext (does not matter whether it is the redundancy check or the exhaustiveness check).

valueisMatchContextPmChecked_SinglePat

:: DynFlags
-> Origin
-> HsMatchContext fn
-> LPat GhcTc
-> Bool

Check whether exhaustivity checks are enabled for this HsMatchContext, when dealing with a single pattern (using the matchSinglePatVar function).

valueneedToRunPmCheck :: DynFlags -> Origin -> Bool

Return True when any of the pattern match warnings (allPmCheckWarnings) are enabled, in which case we need to run the pattern match checker.