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

12 Mar 2025


      I vote B > A > C > D as well, barring resolution of a small confusion I
raised in the proposal discussion.

Sebastian Graf