[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