Skip to content

Draft: Trim the "too many iterations" error

sheaf requested to merge sheaf/ghc:too-many-iters into master

This MR is an alternative to !6281:

  • Don't print the unsolved Wanted constraints in the "too many iterations" message. If the user needs to see these (e.g. the other error messages aren't sufficiently helpful), they can enable -ddump-cs-trace to see them.
  • Only emit a single "too many iterations" message, by filtering the already emitted errors message to see if any "too many iterations" errors have already been emitted.

The test I've added isn't very good; I don't have a test-case that would cause multiple "too many iterations" messages to be thrown prior to this patch.

Edited by Andreas Klebinger

Merge request reports