Moduleghc-lib-parser-9.14.1.20251220GHC2021
GHC.Tc.Types.CtLoc
Contents
Synopsis
- data CtLoc
- value ctLocSpan
- value ctLocEnv
- value ctLocLevel
- value ctLocOrigin
- value ctLocTypeOrKind_maybe
- value toInvisibleLoc
- value ctLocDepth
- value bumpCtLocDepth
- value isGivenLoc
- value mkGivenLoc
- value mkKindEqLoc
- value setCtLocOrigin
- value updateCtLocOrigin
- value setCtLocEnv
- value setCtLocSpan
- value pprCtLoc
- value adjustCtLoc
- value adjustCtLocTyConBinder
- data CtLocEnv
- value getCtLocEnvLoc
- value setCtLocEnvLoc
- value setCtLocRealLoc
- value getCtLocEnvLvl
- value setCtLocEnvLvl
- value ctLocEnvInGeneratedCode
- newtype SubGoalDepth
- value initialSubGoalDepth
- value maxSubGoalDepth
- value bumpSubGoalDepth
- value subGoalDepthExceeded
- Packageghc-lib-parser-9.14.1.20251220
- Exports31
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourceCtLoc.hs
CtLoc
CtLocEnv
Local typechecker environment for a constraint.
Used to restore the environment of a constraint
when reporting errors, see setCtLocM.
See also TcLclCtxt.
Constructors
CtLocEnvctl_ctxt :: ![ErrCtxt]ctl_loc :: !RealSrcSpanctl_bndrs :: !TcBinderStackctl_tclvl :: !TcLevelctl_in_gen_code :: !Boolctl_rdr :: !LocalRdrEnv
SubGoalDepth
See Note [SubGoalDepth]
Instances3Eq, Ord, Outputable
Eq SubGoalDepthDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.CtLocOrd SubGoalDepthDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.CtLocOutputable SubGoalDepthDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.CtLoc