<div dir="ltr"><div>I think we can figure out the right place for the documentation when the MR comes around.</div><div><br></div><div>Nobody having opposed the proposal, I'll now mark it as accepted.<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Mar 11, 2021 at 3:26 PM Vladislav Zavialov (int-index) <<a href="mailto:vlad.z.4096@gmail.com">vlad.z.4096@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">I’m in favor of the proposal, but there’s something I don’t entirely understand. We are about to double down on a deviation from the Haskell 2010 report, with no way to turn it off. Such deviations are typically documented in the “Known bugs and infelicities” section of the User’s Guide.<br>
<br>
And yet this is not a bug, it’s a feature, driven by user requests (the proposal even goes as far as to cite the tickets).<br>
<br>
So, where will the new canonical lexical grammar live? Where do we point our users to when they try to figure out what’s allowed in identifiers/literals and what isn't?<br>
<br>
- Vlad<br>
<br>
> On 11 Mar 2021, at 12:46, Spiwack, Arnaud <<a href="mailto:arnaud.spiwack@tweag.io" target="_blank">arnaud.spiwack@tweag.io</a>> wrote:<br>
> <br>
> Dear all,<br>
> <br>
> About half of us have opined, so far. If nobody complains, I'll treat silence as assent and mark this proposal as accepted on Tuesday (16 March).<br>
> <br>
> On Tue, Mar 9, 2021 at 4:41 AM Richard Eisenberg <<a href="mailto:rae@richarde.dev" target="_blank">rae@richarde.dev</a>> wrote:<br>
> I'm in support.<br>
> <br>
> Thanks,<br>
> Richard<br>
> <br>
>> On Mar 5, 2021, at 1:03 PM, Iavor Diatchki <<a href="mailto:iavor.diatchki@gmail.com" target="_blank">iavor.diatchki@gmail.com</a>> wrote:<br>
>> <br>
>> I think this looks reasonable too (with the qualification that I didn't look at it in much detail).<br>
>> <br>
>> On Fri, Mar 5, 2021 at 9:46 AM Alejandro Serrano Mena <<a href="mailto:trupill@gmail.com" target="_blank">trupill@gmail.com</a>> wrote:<br>
>> This proposal seems fine to me.<br>
>> <br>
>> Alejandro<br>
>> <br>
>> El El vie, 5 mar 2021 a las 10:22, Simon Peyton Jones via ghc-steering-committee <<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>> escribió:<br>
>> I don’t have a well-informed opinion, but I certainly have no objection.<br>
>> <br>
>> <br>
>> <br>
>> Simon<br>
>> <br>
>> <br>
>> <br>
>> From: ghc-steering-committee <<a href="mailto:ghc-steering-committee-bounces@haskell.org" target="_blank">ghc-steering-committee-bounces@haskell.org</a>> On Behalf Of Spiwack, Arnaud<br>
>> Sent: 04 March 2021 14:54<br>
>> To: GHC Steering committee <<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>><br>
>> Subject: [ghc-steering-committee] #403: Cleanup lexical structure, recommendation: accept<br>
>> <br>
>> <br>
>> <br>
>> Dear all,<br>
>> <br>
>> <br>
>> <br>
>> As the shepherd for proposal #403 Cleanup lexical structure of numbers and identifiers, let me recommend acceptance.<br>
>> <br>
>> <br>
>> <br>
>> This proposal does two things related to unicode characters<br>
>> <br>
>> • Codify the actual current lexing of unicode symbols, which is actually different from the Haskell 2010 report (in particular, only ascii digits are allowed in number literals)<br>
>> • Adds the possibility to use unicode letters which are neither upper case nor lower case (such as many asian scripts) as trailing symbols for identifier (as well as in String and Char literals)<br>
>> It doesn't make it possible (nor close the door) to use letter-like numbers (such as latin numerals) as identifiers, nor use non-ascii digits in number literals.<br>
>> <br>
>> <br>
>> <br>
>> As the title entails, it's essentially a clean up of the documentation, to match reality. It seems quite uncontroversial.<br>
>> <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>
>> 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>
>> 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>
> 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>
> 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>
</blockquote></div>