GHC.Tc.Types.CtLocEnv

ghc-9.10.0.20240413: The GHC API

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

data CtLocEnv Source #

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 ctl_ctxt :: ![ErrCtxt] ctl_loc :: !RealSrcSpan ctl_bndrs :: !TcBinderStack ctl_tclvl :: !TcLevel ctl_in_gen_code :: !Bool ctl_rdr :: !LocalRdrEnv

getCtLocEnvLoc :: CtLocEnv -> RealSrcSpan Source #

getCtLocEnvLvl :: CtLocEnv -> TcLevel Source #

setCtLocEnvLvl :: CtLocEnv -> TcLevel -> CtLocEnv Source #

setCtLocRealLoc :: CtLocEnv -> RealSrcSpan -> CtLocEnv Source #

setCtLocEnvLoc :: CtLocEnv -> SrcSpan -> CtLocEnv Source #

ctLocEnvInGeneratedCode :: CtLocEnv -> Bool Source #