<div dir="ltr">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 :) .<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, 2 Nov 2024 at 21:21, Simon Peyton Jones <<a href="mailto:simon.peytonjones@gmail.com">simon.peytonjones@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">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.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Simon<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, 2 Nov 2024 at 09:25, Sebastian Graf <<a href="mailto:sgraf1337@gmail.com" target="_blank">sgraf1337@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>I'm in support as well, but would like to see a single clarifying sentence added to the proposal.</div><div><a href="https://github.com/ghc-proposals/ghc-proposals/pull/668#discussion_r1826533003" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/668#discussion_r1826533003</a></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Am Sa., 2. Nov. 2024 um 07:29 Uhr schrieb Erik de Castro Lopo <<a href="mailto:erikd@mega-nerd.com" target="_blank">erikd@mega-nerd.com</a>>:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
<br>
I am in support.<br>
<br>
Erik<br>
<br>
Matthías Páll Gissurarson wrote:<br>
<br>
> I’m in support. No need to keep reservations longer than necessary.<br>
> <br>
> /Matti Palli<br>
> <br>
> <br>
> On Fri, Nov 1, 2024 at 23:22 Malte Ott <<a href="mailto:malte.ott@maralorn.de" target="_blank">malte.ott@maralorn.de</a>> wrote:<br>
> <br>
> ><br>
> > On 2024-10-29 20:12, Adam Gundry wrote:<br>
> > > <a href="https://github.com/ghc-proposals/ghc-proposals/pull/668" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/668</a><br>
> ><br>
> > I’m in support.<br>
> ><br>
> > Best<br>
> > Malte<br>
> > _______________________________________________<br>
> > ghc-steering-committee mailing list<br>
> > <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> > <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
> ><br>
<br>
<br>
-- <br>
----------------------------------------------------------------------<br>
Erik de Castro Lopo<br>
<a href="http://www.mega-nerd.com/" rel="noreferrer" target="_blank">http://www.mega-nerd.com/</a><br>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div><br clear="all"><br><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature"><div dir="ltr">Arnaud Spiwack<br>Director, Research at <a href="https://moduscreate.com" rel="noopener noreferrer" target="_blank">https://moduscreate.com</a> and <a href="https://tweag.io" rel="noopener noreferrer" target="_blank">https://tweag.io</a>.</div></div>