From 43451328a5ae74ffa34356259ee02e3786f070c3 Mon Sep 17 00:00:00 2001 From: _ov4 Date: Sat, 17 Oct 2026 06:10:05 +0000 Subject: fix(parser): accept optional DO after WHILE condition Co-Authored-By: Claude Opus 5.5 --- tests/i/while-do/case.json | 1 + tests/i/while-do/expected.txt | 1 + tests/i/while-do/notes.md | 3 +++ tests/i/while-do/program.cps | 6 ++++++ tests/iii/while-do-rejected/case.json | 8 -------- tests/iii/while-do-rejected/notes.md | 3 --- tests/iii/while-do-rejected/program.cps | 3 --- 7 files changed, 11 insertions(+), 14 deletions(-) create mode 100644 tests/i/while-do/case.json create mode 100644 tests/i/while-do/expected.txt create mode 100644 tests/i/while-do/notes.md create mode 100644 tests/i/while-do/program.cps delete mode 100644 tests/iii/while-do-rejected/case.json delete mode 100644 tests/iii/while-do-rejected/notes.md delete mode 100644 tests/iii/while-do-rejected/program.cps (limited to 'tests') diff --git a/tests/i/while-do/case.json b/tests/i/while-do/case.json new file mode 100644 index 0000000..0967ef4 --- /dev/null +++ b/tests/i/while-do/case.json @@ -0,0 +1 @@ +{} diff --git a/tests/i/while-do/expected.txt b/tests/i/while-do/expected.txt new file mode 100644 index 0000000..0cfbf08 --- /dev/null +++ b/tests/i/while-do/expected.txt @@ -0,0 +1 @@ +2 diff --git a/tests/i/while-do/notes.md b/tests/i/while-do/notes.md new file mode 100644 index 0000000..01e389c --- /dev/null +++ b/tests/i/while-do/notes.md @@ -0,0 +1,3 @@ +# while-do + +The legacy WHILE DO spelling and the standard WHILE spelling are both accepted. X advances from 0 through 1 to 2, then the loop stops. diff --git a/tests/i/while-do/program.cps b/tests/i/while-do/program.cps new file mode 100644 index 0000000..58d6319 --- /dev/null +++ b/tests/i/while-do/program.cps @@ -0,0 +1,6 @@ +DECLARE X : INTEGER +X <- 0 +WHILE X < 2 DO + X <- X + 1 +ENDWHILE +OUTPUT X diff --git a/tests/iii/while-do-rejected/case.json b/tests/iii/while-do-rejected/case.json deleted file mode 100644 index 9908d5e..0000000 --- a/tests/iii/while-do-rejected/case.json +++ /dev/null @@ -1,8 +0,0 @@ -{ - "errors": [ - { - "reason": "Expected\\ '<\\-'\\ after\\ identifier\\ 'DO'", - "line": 1 - } - ] -} diff --git a/tests/iii/while-do-rejected/notes.md b/tests/iii/while-do-rejected/notes.md deleted file mode 100644 index ed669b5..0000000 --- a/tests/iii/while-do-rejected/notes.md +++ /dev/null @@ -1,3 +0,0 @@ -# while-do-rejected - -The compiler must reject this program: Expected '<-' after identifier 'DO'. The diagnostic must identify line 1; compilation must preserve existing output. diff --git a/tests/iii/while-do-rejected/program.cps b/tests/iii/while-do-rejected/program.cps deleted file mode 100644 index b733e21..0000000 --- a/tests/iii/while-do-rejected/program.cps +++ /dev/null @@ -1,3 +0,0 @@ -WHILE FALSE DO - OUTPUT 1 -ENDWHILE -- cgit v1.3.1-4-g156e