Re: [ghc-steering-committee] #668: Allow reserved identifiers as fields in OverloadedRecordDot, recommendation: accept
12 Mar
2025
12 Mar
'25
1:20 a.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
10:57 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/
269
Age (days ago)
303
Last active (days ago)
1 comments
2 participants
participants (2)
-
Erik de Castro Lopo -
Sebastian Graf