ghc-9.6.1: The GHC API
Safe HaskellSafe-Inferred
LanguageHaskell2010

GHC.HsToCore.Match.Literal

Synopsis

Documentation

dsOverLit :: HsOverLit GhcTc -> DsM CoreExpr Source #

Post-typechecker, the HsExpr field of an OverLit contains (an expression for) the literal value itself.

matchLiterals Source #

Arguments

:: NonEmpty Id 
-> Type

Type of the whole case expression

-> NonEmpty (NonEmpty EquationInfo)

All PgLits

-> DsM (MatchResult CoreExpr) 

warnAboutOverflowedOverLit :: HsOverLit GhcTc -> DsM () Source #

Emit warnings on overloaded integral literals which overflow the bounds implied by their type.

warnAboutOverflowedLit :: HsLit GhcTc -> DsM () Source #

Emit warnings on integral literals which overflow the bounds implied by their type.

warnAboutEmptyEnumerations :: FamInstEnvs -> DynFlags -> LHsExpr GhcTc -> Maybe (LHsExpr GhcTc) -> LHsExpr GhcTc -> DsM () Source #

Warns about [2,3 .. 1] or [b .. a] which return the empty list. For numeric literals, only works for integral types, not floating point.