Re: [ghc-steering-committee] #668: Allow reserved identifiers as fields in OverloadedRecordDot, recommendation: accept
11 Mar
2025
11 Mar
'25
3:50 p.m.
I vote B > A > C > D as well, barring resolution of a small confusion I raised in the proposal discussion.
14 Apr
14 Apr
1:27 a.m.
New subject: #668: Allow reserved identifiers as fields in OverloadedRecordDot, recommendation: accept
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/
36
Age (days ago)
70
Last active (days ago)
1 comments
2 participants
participants (2)
-
Erik de Castro Lopo -
Sebastian Graf