GHC.Tc.Errors.Ppr

Documentation

pprTypeDoesNotHaveFixedRuntimeRep :: Type -> FixedRuntimeRepProvenance -> SDoc

pprScopeError :: RdrName -> NotInScopeError -> SDoc

tidySkolemInfo :: TidyEnv -> SkolemInfo -> SkolemInfo

tidySkolemInfoAnon :: TidyEnv -> SkolemInfoAnon -> SkolemInfoAnon

pprHsDocContext :: HsDocContext -> SDoc

inHsDocContext :: HsDocContext -> SDoc

data TcRnMessageOpts

Constructors

TcRnMessageOpts

Fields

• tcOptsShowContext :: !Bool

  Whether we show the error context or not

• tcOptsIfaceOpts :: !IfaceMessageOpts

Instances

HasDefaultDiagnosticOpts TcRnMessageOpts

Defined in GHC.Tc.Errors.Ppr

Methods

defaultOpts :: TcRnMessageOpts

pprTyThingUsedWrong :: WrongThingSort -> TcTyThing -> Name -> SDoc

pprUntouchableVariable :: TcTyVar -> Implication -> SDoc

mismatchMsg_ExpectedActuals :: MismatchMsg -> Maybe (Type, Type)

Useful when overriding message printing.

messageWithInfoDiagnosticMessage :: UnitState -> ErrInfo -> Bool -> DecoratedSDoc -> DecoratedSDoc

messageWithHsDocContext :: TcRnMessageOpts -> HsDocContext -> DecoratedSDoc -> DecoratedSDoc

Orphan instances

Diagnostic TcRnMessage

Associated Types

type DiagnosticOpts TcRnMessage

Methods

diagnosticMessage :: DiagnosticOpts TcRnMessage -> TcRnMessage -> DecoratedSDoc

diagnosticReason :: TcRnMessage -> DiagnosticReason

diagnosticHints :: TcRnMessage -> [GhcHint]

diagnosticCode :: TcRnMessage -> Maybe DiagnosticCode

HasDefaultDiagnosticOpts TcRnMessageOpts

Methods

defaultOpts :: TcRnMessageOpts

Outputable ImportError

Methods

ppr :: ImportError -> SDoc

Outputable SolverReportErrCtxt

Methods

ppr :: SolverReportErrCtxt -> SDoc