Skip to content

Refine the test for naughty record selectors

Simon Peyton Jones requested to merge wip/T23038 into master

The test for naughtiness in record selectors is surprisingly subtle.

See the revised Note [Naughty record selectors] in GHC.Tc.TyCl.Utils.

Fixes #23038 (closed).

Merge request reports