Moduleghc-9.10.3GHC2021

GHC.Tc.Gen.Pat

Typechecking patterns

1 type
8 values

Packageghc-9.10.3
Exports9
LanguageGHC2021
LicenceBSD-3-Clause
SourcePat.hs

valuetcLetPat

:: Name -> Maybe TcId
-> LetBndrSpec
-> LPat GhcRn
-> Scaled ExpSigmaTypeFRR
-> TcM a
-> TcM (LPat GhcTc, a)

valuenewLetBndr :: LetBndrSpec -> Name -> Mult -> TcType -> TcM TcId

datadata LetBndrSpec

Constructors

LetLclBndr
LetGblBndr TcPragEnv

Instances1Outputable

Outputable LetBndrSpecDefined in ghc-9.10.3 · GHC.Tc.Gen.Pat

valuetcCheckPat

:: HsMatchContextRn
-> LPat GhcRn
-> Scaled TcSigmaTypeFRR
-> TcM a
-> TcM (LPat GhcTc, a)

valuetcCheckPat_O

:: HsMatchContextRn
-> CtOrigin
origin to use if the type needs inst'ing
-> LPat GhcRn
-> Scaled TcSigmaTypeFRR
-> TcM a
-> TcM (LPat GhcTc, a)

A variant of tcPat that takes a custom origin

valuetcInferPat

:: FixedRuntimeRepContext
-> HsMatchContextRn
-> LPat GhcRn
-> TcM a
-> TcM ((LPat GhcTc, a), TcSigmaTypeFRR)

valuetcMatchPats

:: HsMatchContextRn
-> [LPat GhcRn]
patterns
-> [ExpPatType]
types of the patterns
-> TcM a
checker for the body
-> TcM ([LPat GhcTc], a)

valueaddDataConStupidTheta :: DataCon -> [TcType] -> TcM ()

valueisIrrefutableHsPatRnTcM :: Bool -> LPat GhcRn -> TcM Bool

Very similar to GHC.Tc.Pat.isIrrefutableHsPat, but doesn't typecheck the pattern It does depend on the type checker monad (TcM) however as we need to check ConPat case in more detail. Specifically, we call tcLookupGlobal to obtain constructor details from global packages for a comprehensive irrefutability check and avoid false negatives. (testcase pattern-fails.hs)