Merge pull request #464 from ltratt/fix_empty_productions_and_action_…

…parsing Unbreak empty productions and actions.
softdevteam · Jun 13, 2024 · 8896c85 · 8896c85
2 parents e30e481 + 2b1a4e8
commit 8896c85
Showing 1 changed file with 8 additions and 3 deletions.
diff --git a/cfgrammar/src/lib/yacc/parser.rs b/cfgrammar/src/lib/yacc/parser.rs
@@ -691,9 +691,7 @@ impl YaccParser {
                 i = self.parse_ws(j, true)?;
                 action = Some(a);
 
-                if syms.is_empty()
-                    || !(self.lookahead_is("|", i).is_some() || self.lookahead_is(";", i).is_some())
-                {
+                if !(self.lookahead_is("|", i).is_some() || self.lookahead_is(";", i).is_some()) {
                     return Err(self.mk_error(YaccGrammarErrorKind::ProductionNotTerminated, i));
                 }
             } else if let Some(mut j) = self.lookahead_is("%empty", i) {
@@ -2629,5 +2627,12 @@ B";
             3,
             17,
         );
+
+        let src = "
+        %%
+        A: B B {};
+        B: {} ;
+        ";
+        parse(YaccKind::Original(YaccOriginalActionKind::NoAction), src).unwrap();
     }
 }