[ghc-steering-committee] #403: Cleanup lexical structure, recommendation: accept

[Vladislav Zavialov (int-index)]

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.

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).

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?

- Vlad

> On 11 Mar 2021, at 12:46, Spiwack, Arnaud <arnaud.spiwack at tweag.io> wrote:
> 
> Dear all,
> 
> 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).
> 
> On Tue, Mar 9, 2021 at 4:41 AM Richard Eisenberg <rae at richarde.dev> wrote:
> I'm in support.
> 
> Thanks,
> Richard
> 
>> On Mar 5, 2021, at 1:03 PM, Iavor Diatchki <iavor.diatchki at gmail.com> wrote:
>> 
>> I think this looks reasonable too (with the qualification that I didn't look at it in much detail).
>> 
>> On Fri, Mar 5, 2021 at 9:46 AM Alejandro Serrano Mena <trupill at gmail.com> wrote:
>> This proposal seems fine to me.
>> 
>> Alejandro
>> 
>> El El vie, 5 mar 2021 a las 10:22, Simon Peyton Jones via ghc-steering-committee <ghc-steering-committee at haskell.org> escribió:
>> I don’t have a well-informed opinion, but I certainly have no objection.
>> 
>>  
>> 
>> Simon
>> 
>>  
>> 
>> From: ghc-steering-committee <ghc-steering-committee-bounces at haskell.org> On Behalf Of Spiwack, Arnaud
>> Sent: 04 March 2021 14:54
>> To: GHC Steering committee <ghc-steering-committee at haskell.org>
>> Subject: [ghc-steering-committee] #403: Cleanup lexical structure, recommendation: accept
>> 
>>  
>> 
>> Dear all,
>> 
>>  
>> 
>> As the shepherd for proposal #403 Cleanup lexical structure of numbers and identifiers, let me recommend acceptance.
>> 
>>  
>> 
>> This proposal does two things related to unicode characters
>> 
>> 	• 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)
>> 	• 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)
>> 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.
>> 
>>  
>> 
>> As the title entails, it's essentially a clean up of the documentation, to match reality. It seems quite uncontroversial.
>> 
>> _______________________________________________
>> 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
> 
> _______________________________________________
> 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