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

I have no opinion on this. But I've seen two points in the thread which make sense: Vlad, our guardian of the parser, says that it's a good idea, and the comparison with OverloadedLabel (made by Vlad and others) is apt, and the symmetry is desirable. Ideally the comparison with OverloadedLabel should be made in the Alternatives section, but I don't feel like insisting about it :) . On Sat, 2 Nov 2024 at 21:21, Simon Peyton Jones wrote:

I'm in support too, but I have made some substantive suggestions on the GitHub ticket that I'd like to see addressed before we tie a bow on this.

Simon

On Sat, 2 Nov 2024 at 09:25, Sebastian Graf wrote:

...

I'm in support as well, but would like to see a single clarifying sentence added to the proposal.

https://github.com/ghc-proposals/ghc-proposals/pull/668#discussion_r18265330...

Am Sa., 2. Nov. 2024 um 07:29 Uhr schrieb Erik de Castro Lopo < erikd@mega-nerd.com>:

...

I am in support.

Erik

Matthías Páll Gissurarson wrote:

...

I’m in support. No need to keep reservations longer than necessary.

/Matti Palli

On Fri, Nov 1, 2024 at 23:22 Malte Ott wrote:

...

On 2024-10-29 20:12, Adam Gundry wrote:

...

https://github.com/ghc-proposals/ghc-proposals/pull/668

I’m in support.

Best Malte _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org

https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

...

-- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/ _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

-- Arnaud Spiwack Director, Research at https://moduscreate.com and https://tweag.io.