Skip to content

Add structured diagnostics for some TcRn errors in Validity

This is a preliminary merge beginning to address #20118 (closed) It introduces the following constructors to TcRnMessage from Validity.hs:

  • TcRnInaccessibleCoAxBranch
  • TcRnPatersonCondFailureTyVar

There is some complexity surrounding the funneling of all Paterson condition failures into one error that I would particularly like feedback on.

Edited by Ben Bellick

Merge request reports