[Haskell-cafe] Partial record access
godzbanebane at gmail.com
Fri Nov 19 10:05:35 UTC 2021
I also made a discussion on the ghc-proposals discussions page, since it
seemed like an appropriate place for this kind of thing -
On Fri, Nov 19, 2021 at 11:59 AM Tom Ellis <
tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk> wrote:
> 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
> > constructors for r have a field "x" :: a? If not, is the community open
> > 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:
> Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe