Re: [ghc-steering-committee] #668: Allow reserved identifiers as fields in OverloadedRecordDot, recommendation: accept

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