diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-10-07 11:44:43 +0200 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-10-07 11:44:43 +0200 |
| commit | 7f952a804eda8bac8d812800741b047550b1194b (patch) | |
| tree | 7cb714461cc42f8aadb82044d8c6886b7ef4b6cc /cparser/pre_parser.mly | |
| parent | b3d81f80a3e88adf2c8bd5eec7fe642497efd407 (diff) | |
| download | compcert-kvx-7f952a804eda8bac8d812800741b047550b1194b.tar.gz compcert-kvx-7f952a804eda8bac8d812800741b047550b1194b.zip | |
Cosmetic. Removed some spaces. Shared one redundant semantic action {}.
Diffstat (limited to 'cparser/pre_parser.mly')
| -rw-r--r-- | cparser/pre_parser.mly | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/cparser/pre_parser.mly b/cparser/pre_parser.mly index 69618c12..6a2ae411 100644 --- a/cparser/pre_parser.mly +++ b/cparser/pre_parser.mly @@ -138,7 +138,7 @@ string_literals_list: follow set of the non-terminal in question. The follow sets are given by menhir with option -lg 3. *) -%inline nop: (* empty *) { } +%inline nop: (* empty *) {} open_context: (* empty *)%prec highPrec { !open_context () } @@ -326,7 +326,6 @@ constant_expression: declaration: | declaration_specifiers init_declarator_list? SEMICOLON - {} | declaration_specifiers_typedef typedef_declarator_list? SEMICOLON {} @@ -338,7 +337,7 @@ init_declarator_list: init_declarator: | declare_varname(fst(declarator)) | declare_varname(fst(declarator)) EQ c_initializer - { } + {} typedef_declarator_list: | typedef_declarator @@ -347,7 +346,7 @@ typedef_declarator_list: typedef_declarator: | declare_typename(fst(declarator)) - { } + {} storage_class_specifier_no_typedef: | EXTERN @@ -860,12 +859,12 @@ identifier_list: declaration_list: | /*empty*/ - { } + {} | declaration_list declaration - { } + {} function_definition: | function_definition_begin LBRACE block_item_list? close_context RBRACE - { } + {} | function_definition_begin LBRACE block_item_list? close_context error { unclosed "{" "}" $startpos($2) $endpos } |