diff options
Diffstat (limited to 'Tools/cases_generator/parsing.py')
| -rw-r--r-- | Tools/cases_generator/parsing.py | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Tools/cases_generator/parsing.py b/Tools/cases_generator/parsing.py index a6dac481875..c7fe0d162ac 100644 --- a/Tools/cases_generator/parsing.py +++ b/Tools/cases_generator/parsing.py @@ -379,9 +379,13 @@ class Parser(PLexer): while anno := self.expect(lx.ANNOTATION): if anno.text == "replicate": self.require(lx.LPAREN) - times = self.require(lx.NUMBER) + stop = self.require(lx.NUMBER) + start_text = "0" + if self.expect(lx.COLON): + start_text = stop.text + stop = self.require(lx.NUMBER) self.require(lx.RPAREN) - annotations.append(f"replicate({times.text})") + annotations.append(f"replicate({start_text}:{stop.text})") else: annotations.append(anno.text) tkn = self.expect(lx.INST) |