ghc-8.2.2: The GHC API

Safe Haskell | None
Language | Haskell2010

TcErrors

Synopsis

- reportUnsolved :: WantedConstraints -> TcM (Bag EvBind)
- reportAllUnsolved :: WantedConstraints -> TcM ()
- warnAllUnsolved :: WantedConstraints -> TcM ()
- warnDefaulting :: [Ct] -> Type -> TcM ()
- solverDepthErrorTcS :: CtLoc -> TcType -> TcM a

# Documentation

reportUnsolved :: WantedConstraints -> TcM (Bag EvBind) #

Report unsolved goals as errors or warnings. We may also turn some into deferred run-time errors if `-fdefer-type-errors` is on.

reportAllUnsolved :: WantedConstraints -> TcM () #

Report *all* unsolved goals as errors, even if -fdefer-type-errors is on However, do not make any evidence bindings, because we don't have any convenient place to put them. See Note [Deferring coercion errors to runtime] Used by solveEqualities for kind equalities (see Note [Fail fast on kind errors] in TcSimplify] and for simplifyDefault.

warnAllUnsolved :: WantedConstraints -> TcM () #

Report all unsolved goals as warnings (but without deferring any errors to run-time). See Note [Safe Haskell Overlapping Instances Implementation] in TcSimplify

warnDefaulting :: [Ct] -> Type -> TcM () #

solverDepthErrorTcS :: CtLoc -> TcType -> TcM a #