| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
GHC.Tc.Types.CtLocEnv
Synopsis
- data CtLocEnv = CtLocEnv {
- ctl_ctxt :: ![ErrCtxt]
- ctl_loc :: !RealSrcSpan
- ctl_bndrs :: !TcBinderStack
- ctl_tclvl :: !TcLevel
- ctl_in_gen_code :: !Bool
- ctl_rdr :: !LocalRdrEnv
- getCtLocEnvLoc :: CtLocEnv -> RealSrcSpan
- getCtLocEnvLvl :: CtLocEnv -> TcLevel
- setCtLocEnvLvl :: CtLocEnv -> TcLevel -> CtLocEnv
- setCtLocRealLoc :: CtLocEnv -> RealSrcSpan -> CtLocEnv
- setCtLocEnvLoc :: CtLocEnv -> SrcSpan -> CtLocEnv
- ctLocEnvInGeneratedCode :: CtLocEnv -> Bool
Documentation
Local typechecker environment for a constraint.
Used to restore the environment of a constraint
when reporting errors, see setCtLocM.
See also TcLclCtxt.
Constructors
| CtLocEnv | |
Fields
| |
getCtLocEnvLoc :: CtLocEnv -> RealSrcSpan Source #
getCtLocEnvLvl :: CtLocEnv -> TcLevel Source #
setCtLocRealLoc :: CtLocEnv -> RealSrcSpan -> CtLocEnv Source #