Moduleghc-9.14.1GHC2021
GHC.Tc.Types.CtLoc
- 3 types
- 28 values
- Packageghc-9.14.1
- Exports31
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourceCtLoc.hs
CtLoc
19 declarationsCtLocEnv
7 declarationsLocal 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
5 declarationsSee Note [SubGoalDepth]
Instances3Eq, Ord, Outputable
Eq SubGoalDepthDefined in ghc-9.14.1 · GHC.Tc.Types.CtLocOrd SubGoalDepthDefined in ghc-9.14.1 · GHC.Tc.Types.CtLocOutputable SubGoalDepthDefined in ghc-9.14.1 · GHC.Tc.Types.CtLoc