[gram.lex] - C++20 → C++23

Files changed (1) hide show

tmp/tmpwuj5m72_/{from.md → to.md} +98 -23

tmp/tmpwuj5m72_/{from.md → to.md} RENAMED Viewed

@@ -1,16 +1,40 @@
 ## Lexical conventions <a id="gram.lex">[[gram.lex]]</a>
 ``` bnf
 hex-quad:
     hexadecimal-digit hexadecimal-digit hexadecimal-digit hexadecimal-digit
 ```
 ``` bnf
 universal-character-name:
     '\u' hex-quad
     '\U' hex-quad hex-quad
 ```
 ``` bnf
 preprocessing-token:
     header-name
@@ -22,11 +46,11 @@ preprocessing-token:
     character-literal
     user-defined-character-literal
     string-literal
     user-defined-string-literal
     preprocessing-op-or-punc
-    each non-white-space character that cannot be one of the above
 ```
 ``` bnf
 token:
     identifier
@@ -47,30 +71,29 @@ h-char-sequence:
     h-char-sequence h-char
 ```
 ``` bnf
 h-char:
-    any member of the source character set except new-line and '>'
 ```
 ``` bnf
 q-char-sequence:
     q-char
     q-char-sequence q-char
 ```
 ``` bnf
 q-char:
-    any member of the source character set except new-line and '"'
 ```
 ``` bnf
 pp-number:
     digit
     '.' digit
-    pp-number digit
-    pp-number identifier-nondigit
     pp-number ''' digit
     pp-number ''' nondigit
     pp-number 'e' sign
     pp-number 'E' sign
     pp-number 'p' sign
@@ -78,19 +101,25 @@ pp-number:
     pp-number '.'
 ```
 ``` bnf
 identifier:
-    identifier-nondigit
-    identifier identifier-nondigit
-    identifier digit
 ```
 ``` bnf
-identifier-nondigit:
     nondigit
- universal-character-name
 ```
 ``` bnf
 nondigit: one of
     'a b c d e f g h i j k l m'
@@ -215,12 +244,14 @@ hexadecimal-digit: one of
 ``` bnf
 integer-suffix:
     unsigned-suffix long-suffixₒₚₜ
     unsigned-suffix long-long-suffixₒₚₜ
     long-suffix unsigned-suffixₒₚₜ
     long-long-suffix unsigned-suffixₒₚₜ
 ```
 ``` bnf
 unsigned-suffix: one of
     'u U'
@@ -234,10 +265,15 @@ long-suffix: one of
 ``` bnf
 long-long-suffix: one of
     'll LL'
 ```
 ``` bnf
 character-literal:
     encoding-prefixₒₚₜ ''' c-char-sequence '''
 ```
@@ -252,39 +288,72 @@ c-char-sequence:
     c-char-sequence c-char
 ```
 ``` bnf
 c-char:
- any member of the basic source character set except the single-quote ''', backslash '\', or new-line character
     escape-sequence
     universal-character-name
 ```
 ``` bnf
 escape-sequence:
     simple-escape-sequence
     octal-escape-sequence
     hexadecimal-escape-sequence
 ```
 ``` bnf
-simple-escape-sequence: one of
- '\'' '\"' '\?' '\\'
- '\a' '\b' '\f' '\n' '\r' '\t' '\v'
 ```
 ``` bnf
 octal-escape-sequence:
     '\' octal-digit
     '\' octal-digit octal-digit
     '\' octal-digit octal-digit octal-digit
 ```
 ``` bnf
 hexadecimal-escape-sequence:
-    '\x' hexadecimal-digit
-    hexadecimal-escape-sequence hexadecimal-digit
 ```
 ``` bnf
 floating-point-literal:
     decimal-floating-point-literal
@@ -338,11 +407,11 @@ digit-sequence:
     digit-sequence '''ₒₚₜ digit
 ```
 ``` bnf
 floating-point-suffix: one of
-    'f l F L'
 ```
 ``` bnf
 string-literal:
     encoding-prefixₒₚₜ '"' s-char-sequenceₒₚₜ '"'
@@ -355,15 +424,21 @@ s-char-sequence:
     s-char-sequence s-char
 ```
 ``` bnf
 s-char:
- any member of the basic source character set except the double-quote '"', backslash '\', or new-line character
     escape-sequence
     universal-character-name
 ```
 ``` bnf
 raw-string:
     '"' d-char-sequenceₒₚₜ '(' r-char-sequenceₒₚₜ ')' d-char-sequenceₒₚₜ '"'
 ```
@@ -373,25 +448,25 @@ r-char-sequence:
     r-char-sequence r-char
 ```
 ``` bnf
 r-char:
-    any member of the source character set, except a right parenthesis ')' followed by
-       the initial *d-char-sequence* (which may be empty) followed by a double quote '"'.
 ```
 ``` bnf
 d-char-sequence:
     d-char
     d-char-sequence d-char
 ```
 ``` bnf
 d-char:
-    any member of the basic source character set except:
- space, the left parenthesis '(', the right parenthesis ')', the backslash '\', and the control characters
-       representing horizontal tab, vertical tab, form feed, and newline.
 ```
 ``` bnf
 boolean-literal:
     'false'

 ## Lexical conventions <a id="gram.lex">[[gram.lex]]</a>
+``` bnf
+n-char: one of
+     any member of the translation character set except the U+007d (right curly bracket) or new-line character
+```
+``` bnf
+n-char-sequence:
+    n-char
+    n-char-sequence n-char
+```
+``` bnf
+named-universal-character:
+    '\N{' n-char-sequence '}'
+```
 ``` bnf
 hex-quad:
     hexadecimal-digit hexadecimal-digit hexadecimal-digit hexadecimal-digit
 ```
+``` bnf
+simple-hexadecimal-digit-sequence:
+    hexadecimal-digit
+    simple-hexadecimal-digit-sequence hexadecimal-digit
+```
 ``` bnf
 universal-character-name:
     '\u' hex-quad
     '\U' hex-quad hex-quad
+    '\u{' simple-hexadecimal-digit-sequence '}'
+    named-universal-character
 ```
 ``` bnf
 preprocessing-token:
     header-name
     character-literal
     user-defined-character-literal
     string-literal
     user-defined-string-literal
     preprocessing-op-or-punc
+    each non-whitespace character that cannot be one of the above
 ```
 ``` bnf
 token:
     identifier
     h-char-sequence h-char
 ```
 ``` bnf
 h-char:
+    any member of the translation character set except new-line and U+003e (greater-than sign)
 ```
 ``` bnf
 q-char-sequence:
     q-char
     q-char-sequence q-char
 ```
 ``` bnf
 q-char:
+    any member of the translation character set except new-line and U+0022 (quotation mark)
 ```
 ``` bnf
 pp-number:
     digit
     '.' digit
+    pp-number identifier-continue
     pp-number ''' digit
     pp-number ''' nondigit
     pp-number 'e' sign
     pp-number 'E' sign
     pp-number 'p' sign
     pp-number '.'
 ```
 ``` bnf
 identifier:
+    identifier-start
+    identifier identifier-continue
 ```
 ``` bnf
+identifier-start:
     nondigit
+ an element of the translation character set with the Unicode property XID_Start
+```
+``` bnf
+identifier-continue:
+    digit
+    nondigit
+    an element of the translation character set with the Unicode property XID_Continue
 ```
 ``` bnf
 nondigit: one of
     'a b c d e f g h i j k l m'
 ``` bnf
 integer-suffix:
     unsigned-suffix long-suffixₒₚₜ
     unsigned-suffix long-long-suffixₒₚₜ
+    unsigned-suffix size-suffixₒₚₜ
     long-suffix unsigned-suffixₒₚₜ
     long-long-suffix unsigned-suffixₒₚₜ
+    size-suffix unsigned-suffixₒₚₜ
 ```
 ``` bnf
 unsigned-suffix: one of
     'u U'
 ``` bnf
 long-long-suffix: one of
     'll LL'
 ```
+``` bnf
+size-suffix: one of
+   'z Z'
+```
 ``` bnf
 character-literal:
     encoding-prefixₒₚₜ ''' c-char-sequence '''
 ```
     c-char-sequence c-char
 ```
 ``` bnf
 c-char:
+    basic-c-char
     escape-sequence
     universal-character-name
 ```
+``` bnf
+basic-c-char:
+    any member of the translation character set except the U+0027 (apostrophe),
+      U+005c (reverse solidus), or new-line character
+```
 ``` bnf
 escape-sequence:
     simple-escape-sequence
+    numeric-escape-sequence
+    conditional-escape-sequence
+```
+``` bnf
+simple-escape-sequence:
+    '\' simple-escape-sequence-char
+```
+``` bnf
+simple-escape-sequence-char: one of
+    '' " ? \ a b f n r t v'
+```
+``` bnf
+numeric-escape-sequence:
     octal-escape-sequence
     hexadecimal-escape-sequence
 ```
 ``` bnf
+simple-octal-digit-sequence:
+ octal-digit
+ simple-octal-digit-sequence octal-digit
 ```
 ``` bnf
 octal-escape-sequence:
     '\' octal-digit
     '\' octal-digit octal-digit
     '\' octal-digit octal-digit octal-digit
+    '\o{' simple-octal-digit-sequence '}'
 ```
 ``` bnf
 hexadecimal-escape-sequence:
+    '\x' simple-hexadecimal-digit-sequence
+ '\x{' simple-hexadecimal-digit-sequence '}'
+```
+``` bnf
+conditional-escape-sequence:
+    '\' conditional-escape-sequence-char
+```
+``` bnf
+conditional-escape-sequence-char:
+    any member of the basic character set that is not an octal-digit, a simple-escape-sequence-char, or the characters 'N', 'o', 'u', 'U', or 'x'
 ```
 ``` bnf
 floating-point-literal:
     decimal-floating-point-literal
     digit-sequence '''ₒₚₜ digit
 ```
 ``` bnf
 floating-point-suffix: one of
+    'f l f16 f32 f64 f128 bf16 F L F16 F32 F64 F128 BF16'
 ```
 ``` bnf
 string-literal:
     encoding-prefixₒₚₜ '"' s-char-sequenceₒₚₜ '"'
     s-char-sequence s-char
 ```
 ``` bnf
 s-char:
+    basic-s-char
     escape-sequence
     universal-character-name
 ```
+``` bnf
+basic-s-char:
+    any member of the translation character set except the U+0022 (quotation mark),
+      U+005c (reverse solidus), or new-line character
+```
 ``` bnf
 raw-string:
     '"' d-char-sequenceₒₚₜ '(' r-char-sequenceₒₚₜ ')' d-char-sequenceₒₚₜ '"'
 ```
     r-char-sequence r-char
 ```
 ``` bnf
 r-char:
+    any member of the translation character set, except a U+0029 (right parenthesis) followed by
+       the initial *d-char-sequence* (which may be empty) followed by a U+0022 (quotation mark)
 ```
 ``` bnf
 d-char-sequence:
     d-char
     d-char-sequence d-char
 ```
 ``` bnf
 d-char:
+    any member of the basic character set except:
+      U+0020 (space), U+0028 (left parenthesis), U+0029 (right parenthesis), U+005c (reverse solidus),
+      U+0009 (character tabulation), U+000b (line tabulation), U+000c (form feed), and new-line
 ```
 ``` bnf
 boolean-literal:
     'false'

Diff to HTML by rtfpessoa