[Haskell-cafe] Partial record access
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