ghc-9.10.3: 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 #