[ghc-steering-committee] #668: Allow reserved identifiers as fields in OverloadedRecordDot, recommendation: accept
Erik de Castro Lopo
erikd at mega-nerd.com
Mon Apr 14 05:27:41 UTC 2025
Sebastian Graf via ghc-steering-committee wrote:
> I vote B > A > C > D as well, barring resolution of a small confusion I
> raised in the proposal discussion.
Yep, same for me, B > A > C > D.
Erik
--
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/
More information about the ghc-steering-committee
mailing list