Safe Haskell | None |
---|---|
Language | Haskell2010 |
TcErrors
Documentation
reportUnsolved :: WantedConstraints -> TcM (Bag EvBind)
reportAllUnsolved :: WantedConstraints -> TcM ()
warnDefaulting :: Cts -> Type -> TcM ()
solverDepthErrorTcS :: SubGoalCounter -> CtEvidence -> TcM a