Skip to content
Snippets Groups Projects
Commit 7b2d1e6d authored by Simon Peyton Jones's avatar Simon Peyton Jones Committed by Marge Bot
Browse files

Refine `noGivenNewtypeReprEqs` to account for quantified constraints 

This little MR fixes #26020.  We are on the edge of completeness
for newtype equalities (that doesn't change) but this MR makes GHC
a bit more consistent -- and fixes the bug reported.
parent 51b0ce8f
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 99 additions and 46 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment