Documentation

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

reportAllUnsolved :: WantedConstraints -> TcM () Source

warnDefaulting :: Cts -> Type -> TcM () Source

solverDepthErrorTcS :: SubGoalCounter -> CtEvidence -> TcM a Source