From a439e1456a0608805e74f3bb934678b71aea6b97 Mon Sep 17 00:00:00 2001 From: John Doty Date: Sat, 8 Jun 2024 17:31:33 -0700 Subject: [PATCH] Random tweaks --- grammar.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/grammar.py b/grammar.py index dd23328..97bc847 100644 --- a/grammar.py +++ b/grammar.py @@ -322,13 +322,13 @@ class FineGrammar(Grammar): @rule("Pattern") def pattern(self) -> Rule: return ( - seq(self.variable_binding, self._pattern_core, self.pattern_predicate) + seq(self.variable_binding, self._pattern_core, self._pattern_predicate) | seq(self.variable_binding, self._pattern_core) | self._pattern_core ) - @rule(transparent=True) - def pattern_predicate(self) -> Rule: + @rule + def _pattern_predicate(self) -> Rule: return seq(AND, self.expression) @rule