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@jaguarpaw.co.uk> wrote:
Is there a reason why we don't generate HasField x r a only when all of
On Fri, Nov 19, 2021 at 11:24:39AM +0200, Georgi Lyubenov wrote: 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.