[Haskell-cafe] Partial record access

Tom Ellis tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk
Fri Nov 19 09:59:14 UTC 2021

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.

More information about the Haskell-Cafe mailing list