Safe Haskell | None |
---|---|
Language | Haskell2010 |
- 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) Source #
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 () Source #
Report *all* unsolved goals as errors, even if -fdefer-type-errors is on See Note [Deferring coercion errors to runtime]
warnAllUnsolved :: WantedConstraints -> TcM () Source #
Report all unsolved goals as warnings (but without deferring any errors to run-time). See Note [Safe Haskell Overlapping Instances Implementation] in TcSimplify