[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