On Fri, Nov 19, 2021 at 11:24:39AM +0200, Georgi Lyubenov wrote:
> Is there a reason why we don't generate HasField x r a only when all of the
> constructors for r have a field "x" :: a? If not, is the community open to
> changing this, while the new extension is still ripe?

Let's change it please!  Partial record fields are a massive wart
which we shouldn't perpetuate into related features.
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.