[Haskell-cafe] Partial record access

[Georgi Lyubenov]

I also made a discussion on the ghc-proposals discussions page, since it
seemed like an appropriate place for this kind of thing -
https://github.com/ghc-proposals/ghc-proposals/discussions/459

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
> 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20211119/cc059148/attachment.html>