From a5bff442c1f09792ff7291652103048688c3a128 Mon Sep 17 00:00:00 2001 From: nsfisis Date: Sat, 24 Jan 2026 12:29:17 +0900 Subject: feat: implement array initializer --- docs/c_grammar.md | 19 +++++++++++-------- 1 file changed, 11 insertions(+), 8 deletions(-) (limited to 'docs') diff --git a/docs/c_grammar.md b/docs/c_grammar.md index 6529b2b..3bde591 100644 --- a/docs/c_grammar.md +++ b/docs/c_grammar.md @@ -9,8 +9,14 @@ * `A?`: Optional A * `{ A }+`: 1 or more repetitions of A * `{ A }*`: 0 or more repetitions of A -* `{ A | S }`: Repetition of A separated by S - * Note that trailing S is not allowed. +* `{ A | S }+`: 1 or more repetitions of A separated by S + * Equivalent to `A { S A }*` +* `{ A | S }*`: 0 or more repetitions of A separated by S + * Equivalent to `{ A | S }+?` +* `{ A |? S }+`: 1 or more repetitions of A separated by S, allowing optional trailing S + * Equivalent to `A { S A }* S?` +* `{ A |? S }*`: 1 or more repetitions of A separated by S, allowing optional trailing S + * Equivalent to `{ A |? S }+?` * `( A )`: Grouping * `# ...`: Additional constraints @@ -222,11 +228,11 @@ member-declarator: declarator? ':' constant-expr enum-specifier: - 'enum' attribute-specifier-sequence? identifier? enum-type-specifier? '{' enumerator-list ','? '}' + 'enum' attribute-specifier-sequence? identifier? enum-type-specifier? '{' enumerator-list '}' 'enum' identifier enum-type-specifier? enumerator-list: - { enumerator | ',' }+ + { enumerator |? ',' }+ enumerator: enumeration-constant attribute-specifier-sequence? ( '=' constant-expr )? @@ -317,15 +323,12 @@ typedef-name: identifier braced-initializer: - '{' ( initializer-list ','? )? '}' + '{' { designation? initializer |? ',' }* '}' initializer: assignment-expr braced-initializer -initializer-list: - { designation? initializer | ',' }+ - designation: designator-list '=' -- cgit v1.3-1-g0d28