Merge 2024-11 CWG Motion 2

P3340R0 A Consistent Grammar For Sequences

Author: AlisdairM

source/classes.tex

@@ -492,8 +492,7 @@
 
 \begin{bnf}
 \nontermdef{virt-specifier-seq}\br
-    virt-specifier\br
-    virt-specifier-seq virt-specifier
+    virt-specifier \opt{virt-specifier-seq}
 \end{bnf}
 
 \begin{bnf}

source/declarations.tex

@@ -13,8 +13,7 @@
 the form
 \begin{bnf}
 \nontermdef{declaration-seq}\br
-    declaration\br
-    declaration-seq declaration
+    declaration \opt{declaration-seq} 
 \end{bnf}
 
 \begin{bnf}
@@ -8718,7 +8717,7 @@
 
 \begin{bnf}
 \nontermdef{attribute-specifier-seq}\br
-  \opt{attribute-specifier-seq} attribute-specifier
+  attribute-specifier \opt{attribute-specifier-seq}
 \end{bnf}
 
 \begin{bnf}
@@ -8774,8 +8773,7 @@
 
 \begin{bnf}
 \nontermdef{balanced-token-seq}\br
-    balanced-token\br
-    balanced-token-seq balanced-token
+    balanced-token \opt{balanced-token-seq}
 \end{bnf}
 
 \begin{bnf}

source/expressions.tex

@@ -1825,8 +1825,7 @@
 
 \begin{bnf}
 \nontermdef{lambda-specifier-seq}\br
-    lambda-specifier\br
-    lambda-specifier lambda-specifier-seq
+    lambda-specifier \opt{lambda-specifier-seq}
 \end{bnf}
 
 \pnum
@@ -2875,8 +2874,7 @@
 
 \begin{bnf}
 \nontermdef{requirement-seq}\br
-    requirement\br
-    requirement requirement-seq
+    requirement \opt{requirement-seq}
 \end{bnf}
 
 \begin{bnf}

source/lex.tex

@@ -396,8 +396,7 @@
 
 \begin{bnf}
 \nontermdef{n-char-sequence}\br
-    n-char\br
-    n-char-sequence n-char
+    n-char \opt{n-char-sequence}
 \end{bnf}
 
 \begin{bnf}
@@ -412,8 +411,7 @@
 
 \begin{bnf}
 \nontermdef{simple-hexadecimal-digit-sequence}\br
-    hexadecimal-digit\br
-    simple-hexadecimal-digit-sequence hexadecimal-digit
+    hexadecimal-digit \opt{simple-hexadecimal-digit-sequence}
 \end{bnf}
 
 \begin{bnf}
@@ -640,8 +638,7 @@
 
 \begin{bnf}
 \nontermdef{h-char-sequence}\br
-    h-char\br
-    h-char-sequence h-char
+    h-char \opt{h-char-sequence}
 \end{bnf}
 
 \begin{bnf}
@@ -651,8 +648,7 @@
 
 \begin{bnf}
 \nontermdef{q-char-sequence}\br
-    q-char\br
-    q-char-sequence q-char
+    q-char \opt{q-char-sequence}
 \end{bnf}
 
 \begin{bnf}
@@ -1375,8 +1371,7 @@
 
 \begin{bnf}
 \nontermdef{c-char-sequence}\br
-    c-char\br
-    c-char-sequence c-char
+    c-char \opt{c-char-sequence}
 \end{bnf}
 
 \begin{bnf}
@@ -1417,8 +1412,7 @@
 
 \begin{bnf}
 \nontermdef{simple-octal-digit-sequence}\br
-    octal-digit\br
-    simple-octal-digit-sequence octal-digit
+    octal-digit \opt{simple-octal-digit-sequence}
 \end{bnf}
 
 \begin{bnf}
@@ -1746,8 +1740,7 @@
 
 \begin{bnf}
 \nontermdef{s-char-sequence}\br
-    s-char\br
-    s-char-sequence s-char
+        s-char \opt{s-char-sequence}
 \end{bnf}
 
 \begin{bnf}
@@ -1770,8 +1763,7 @@
 
 \begin{bnf}
 \nontermdef{r-char-sequence}\br
-    r-char\br
-    r-char-sequence r-char
+    r-char \opt{r-char-sequence}
 \end{bnf}
 
 \begin{bnf}
@@ -1782,8 +1774,7 @@
 
 \begin{bnf}
 \nontermdef{d-char-sequence}\br
-    d-char\br
-    d-char-sequence d-char
+    d-char\opt{d-char-sequence}
 \end{bnf}
 
 \begin{bnf}

source/preprocessor.tex

@@ -75,8 +75,7 @@
 
 \begin{bnf}
 \nontermdef{elif-groups}\br
-    elif-group\br
-    elif-groups elif-group
+    elif-group \opt{elif-groups}
 \end{bnf}
 
 \begin{bnf}\obeyspaces
@@ -124,8 +123,7 @@
 
 \begin{bnf}
 \nontermdef{pp-tokens}\br
-    preprocessing-token\br
-    pp-tokens preprocessing-token
+    preprocessing-token \opt{pp-tokens}
 \end{bnf}
 
 \begin{bnf}
@@ -290,8 +288,7 @@
 
 \begin{bnf}
 \nontermdef{h-pp-tokens}\br
-    h-preprocessing-token\br
-    h-pp-tokens h-preprocessing-token
+    h-preprocessing-token \opt{h-pp-tokens}
 \end{bnf}
 
 \begin{bnf}

source/statements.tex

@@ -226,14 +226,12 @@
 
 \begin{bnf}
 \nontermdef{statement-seq}\br
-    statement\br
-    statement-seq statement
+    statement \opt{statement-seq}
 \end{bnf}
 
 \begin{bnf}
 \nontermdef{label-seq}\br
-    label\br
-    label-seq label
+    label \opt{label-seq}
 \end{bnf}
 
 A label at the end of a \grammarterm{compound-statement}