[ghc-steering-committee] #668: Allow reserved identifiers as fields in OverloadedRecordDot, recommendation: accept
Malte Ott
malte.ott at maralorn.de
Tue Mar 11 09:04:19 UTC 2025
> Please reply with your preference order amongst these options. My vote
> is B > A > C > D.
>
> Thanks,
>
> Adam
I have the same preference.
When we allow foo."bar baz" The next question is if we want to go crazy the
nix way with foo.${bar}" which is the same as getField @bar foo (instead of
getField @"bar" foo). Might become interesting with dependent types.^^
This E-Mail isn’t technically a reply, because I haven’t received anything from
the mailinglist since your note about the delivery issues.
Best,
Malte
More information about the ghc-steering-committee
mailing list