On Fri, 5 Jun 2020 at 01:44, JF Bastien via SG16 <sg16_at_[hidden]>
wrote:

>
>
> On Thu, Jun 4, 2020 at 3:51 PM Jens Maurer via SG16 <sg16_at_[hidden]>
> wrote:
>
>> On 05/06/2020 00.33, Corentin Jabot via SG16 wrote:
>> > LGTM
>> >
>> > Nitpick:
>> >
>> > [ Note: Upper- and lower-case letters are considered different for all
>> identifiers. – end note ]
>> >
>> > Not all characters with case mapping are letters.
>> > I don't know if it matters much if we are going to use better terms in
>> the future
>> > Overall, I'm not sure that the note clarifies anything?
>>
>> This is pre-existing text moved to a note.
>>
>> It just wants to say that C++ identifiers are case-sensitive
>> (unlike some other programming languages). I think the note
>> can stay.
>>
>
> It would be better to say "case-sensitive" instead of differentiating
> upper and lower-case letters, because there's awkward stuff such as:
> https://en.wikipedia.org/wiki/Capital_%E1%BA%9E
>

A proper formulation would say that two identifiers are considered
identical if and only if they are the same sequence of codepoints.
"upper case", "lower case" and "letters" are not well defined terms


>
>
>
>
>> Jens
>>
>>
>> > On Fri, 5 Jun 2020 at 00:15, Steve Downey via SG16 <
>> sg16_at_[hidden] <mailto:sg16_at_[hidden]>> wrote:
>> >
>> > Posted as Draft at https://isocpp.org/files/papers/D1949R4.html
>> > If there are no objections, I will update to P later this evening
>> and post to the EWG list.
>> >
>> > Diff:
>> >
>> https://github.com/steve-downey/papers/commit/a5a928b12b5664de57d5c0d8a9ca6ba4200d168b
>> > --
>> > SG16 mailing list
>> > SG16_at_[hidden] <mailto:SG16_at_[hidden]>
>> > https://lists.isocpp.org/mailman/listinfo.cgi/sg16
>> >
>> >
>>
>> --
>> SG16 mailing list
>> SG16_at_[hidden]
>> https://lists.isocpp.org/mailman/listinfo.cgi/sg16
>>
> --
> SG16 mailing list
> SG16_at_[hidden]
> https://lists.isocpp.org/mailman/listinfo.cgi/sg16
>