Grammar declarations may be found in the grammar section.

[bison.git] / src / parse-gram.y

diff --git a/src/parse-gram.y b/src/parse-gram.y
index d1ebbd67f775d3b8bb99302c47d1d32e2bee2337..241dcdceaf70cd5087a57052793392b224ee7098 100644 (file)
--- a/src/parse-gram.y
+++ b/src/parse-gram.y
@@ -89,9 +89,6 @@ int current_prec = 0;
 %token PERCENT_UNION "%union"
 %token PERCENT_EXPECT "%expect"
 %token PERCENT_START "%start"
 %token PERCENT_UNION "%union"
 %token PERCENT_EXPECT "%expect"
 %token PERCENT_START "%start"

-%token PERCENT_LEFT  "%left"
-%token PERCENT_RIGHT "%right"
-%token PERCENT_NONASSOC "%nonassoc"

 %token PERCENT_PREC     "%prec"
 %token PERCENT_VERBOSE  "%verbose"
 %token PERCENT_ERROR_VERBOSE "%error-verbose"
 %token PERCENT_PREC     "%prec"
 %token PERCENT_VERBOSE  "%verbose"
 %token PERCENT_ERROR_VERBOSE "%error-verbose"


@@ -146,7 +143,7 @@ input: { LOCATION_RESET (yylloc); }
 
 declarations:
   /* Nothing */
 
 declarations:
   /* Nothing */

-| declarations declaration
+| declarations declaration semi_colon.opt

 ;
 
 declaration:
 ;
 
 declaration:


@@ -176,7 +173,7 @@ grammar_declaration:
     {
       grammar_start_symbol_set ($2);
     }
     {
       grammar_start_symbol_set ($2);
     }

-| "%union" BRACED_CODE semi_colon_opt
+| "%union" BRACED_CODE

     {
       typed = 1;
       MUSCLE_INSERT_INT ("stype_line", @2.first_line);
     {
       typed = 1;
       MUSCLE_INSERT_INT ("stype_line", @2.first_line);


@@ -208,6 +205,9 @@ precedence_declaration:
     { current_assoc = non_assoc; current_type = NULL; }
 ;
 
     { current_assoc = non_assoc; current_type = NULL; }
 ;
 

+%token PERCENT_LEFT     "%left";
+%token PERCENT_RIGHT    "%right";
+%token PERCENT_NONASSOC "%nonassoc";

 precedence_declarator:
   "%left"     { $$ = left_assoc; }
 | "%right"    { $$ = right_assoc; }
 precedence_declarator:
   "%left"     { $$ = left_assoc; }
 | "%right"    { $$ = right_assoc; }


@@ -285,8 +285,16 @@ symbol_defs.1:
        `------------------------------------------*/
 
 grammar:
        `------------------------------------------*/
 
 grammar:

+  rules_or_grammar_declaration
+| grammar rules_or_grammar_declaration
+;
+
+/* As a Bison extension, one can use the grammar declarations in the
+   body of the grammar.  But to remain LALR(1), they must be ended
+   with a semi-colon.  */
+rules_or_grammar_declaration:

   rules
   rules

-| grammar rules
+| grammar_declaration ";"

 ;
 
 rules:
 ;
 
 rules:


@@ -350,7 +358,7 @@ epilogue.opt:
     }
 ;
 
     }
 ;
 

-semi_colon_opt:
+semi_colon.opt:

   /* Nothing.  */
 | ";"
 ;
   /* Nothing.  */
 | ";"
 ;