fix inside_alt that is set incorrectly for seq inside alt

verus-lang · Jan 7, 2025 · 062bdee · 062bdee
1 parent 80ab349
commit 062bdee
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/xtask/src/codegen/grammar.rs b/xtask/src/codegen/grammar.rs
@@ -737,12 +737,16 @@ fn lower_rule(
             }
             lower_rule(acc, grammar, Some(l), rule, is_vst, inside_opt, inside_alt);
         }
-        Rule::Seq(rules) | Rule::Alt(rules) => {
-            let inside_alt = matches!(rule, Rule::Alt(_));
+        Rule::Seq(rules) => {
             for rule in rules {
                 lower_rule(acc, grammar, label, rule, is_vst, inside_opt, inside_alt);
             }
         }
+        Rule::Alt(rules) => {
+            for rule in rules {
+                lower_rule(acc, grammar, label, rule, is_vst, inside_opt, true);
+            }
+        }
         Rule::Opt(rule) => lower_rule(acc, grammar, label, rule, is_vst, true, inside_alt),
     }
 }