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

[Arnaud Spiwack]

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 <simon.peytonjones at gmail.com>
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 <sgraf1337 at gmail.com> 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_r1826533003
>>
>> Am Sa., 2. Nov. 2024 um 07:29 Uhr schrieb Erik de Castro Lopo <
>> erikd at 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 <malte.ott at maralorn.de> 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 at 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 at haskell.org
>>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>>>
>> _______________________________________________
>> ghc-steering-committee mailing list
>> ghc-steering-committee at haskell.org
>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20241105/9fac4c0f/attachment.html>