19 Nov
2021
19 Nov
'21
4:59 a.m.
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.