I'll upload a D2071 to the wiki. Jens, do you have a preference about R2 vs R3 for it, since we did review the paper last week?
Wording:
Modify [lex.charset]
(lex.charset.3)The universal-character-name construct provides a way to name other characters.
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z0 1 2 3 4 5 6 7 8 9U+002D HYPHEN-MINUSU+0020 SPACE\N { n-char-sequence }\u hex-quad\U hex-quad hex-quadA universal-character-name of the form
\uhex-quad or\Uhex-quad hex-quad designates the character in the translation character set whose UCS scalar value is the hexadecimal number represented by the sequence of hexadecimal-digits in the universal-character-name. The program is ill-formed if that number is not a UCS scalar value.
A universal-character-name that is a named-universal-character designates the character named by its n-char-sequence. A character is so named if the n-char-sequence is equal to - the associated character name or associated character name alias specified in ISO/IEC 10646 subclause “Code charts and lists of character names” or - the control code alias given in Table X.
[Note: The aliases in table X are provided for control characters which otherwise have no associated character name or character name alias. These names are derived from the Unicode Character Database’s NameAliases.txt. For historical reasons, control characters are formally unnamed. – end note]
On Sun, Feb 27, 2022 at 9:24 AM Jens Maurer <Jens.Maurer@gmx.net> wrote:
Steve, please make sure to upload your fixed paper to the 2022-03-11 core
telecon wiki, under the "D" name.
On 26/02/2022 09.42, Corentin Jabot wrote:
>
>
> On Fri, Feb 25, 2022 at 11:33 PM Jens Maurer <Jens.Maurer@gmx.net <mailto:Jens.Maurer@gmx.net>> wrote:
>
> On 25/02/2022 23.20, Corentin Jabot wrote:
> > Can we flip it around?
> >
> >
> > Then the named-universal-character designates the element of the translation character set whose UCS scalar value is equal to the code point of that character.
> > Otherwise, the program is ill-formed.
> > [Note: The lists of names and aliases are guaranteed to be disjoint. An n-char sequence will be found in at most one list. --end note]
>
> We want to avoid "matches" because it might mean "some fuzzy match" instead of
> equality.
>
> We want to start the paragraph with the same introducer as the preceding one.
>
>
> This is challenging.
> There are a lot of moving pieces.
> Can we rewrite the previous paragraph too?
>
>
> If the n-char-sequence of a named-universal-character is exactly equal to either
> - The name alias of a character as specified in ISO/IEC 10646 clause 34 "Character names list"
> - The associated name of a character as specified in ISO/IEC 10646 clause 34 "Character names list"
> - A control code alias of a character as specified in table X
> Then the named-universal-character designates the code point of that character.
>
> A universal-character-name designates the character in the translation character set whose UCS scalar value is:
> - For a universal-character-name of the form \u hex-quad or \U hex-quad hex-quad, the hexadecimal number represented by the sequence of hexadecimal-digits in the universal-character-name.
> - For a named-universal-character, the code point it designates.
>
> If a universal-character-name does not designate a UCS scalar value, the program is ill-formed.
I think part of the confusion stemmed from the fact that people were looking at an old
version of the paper, because I hadn't updated the link at the top of the wiki page.
Suggestion:
A universal-character-name that is a named-universal-character designates the
character named by its n-char-sequence. A character is so named if the
n-char-sequence is equal to
- the associated character name or associated character name alias specified in
ISO/IEC 10646 subclause "Code charts and lists of character names" or
- the control code alias given in Table X.
The program is ill-formed if there is no such character.This is great!
Jens