Skip to content

Draft: Improve defaulting of representational equalities

sheaf requested to merge sheaf/ghc:T25825 into master

Tickets: #25825, #23731, #20468.

This MR implements the plan laid out in #25825:

  • First commit: implements (1) and (2). Generalises how representational equalities are defaulted.
  • Second commit: implements (3). Improves error message reporting for constraints that arose from representational equalities, addressing #20468 as well.
Edited by sheaf

Merge request reports