aboutsummaryrefslogtreecommitdiff
path: root/tests/iii/while-do-rejected
diff options
context:
space:
mode:
Diffstat (limited to 'tests/iii/while-do-rejected')
-rw-r--r--tests/iii/while-do-rejected/case.json8
-rw-r--r--tests/iii/while-do-rejected/notes.md3
-rw-r--r--tests/iii/while-do-rejected/program.cps3
3 files changed, 14 insertions, 0 deletions
diff --git a/tests/iii/while-do-rejected/case.json b/tests/iii/while-do-rejected/case.json
new file mode 100644
index 0000000..9908d5e
--- /dev/null
+++ b/tests/iii/while-do-rejected/case.json
@@ -0,0 +1,8 @@
+{
+ "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
new file mode 100644
index 0000000..ed669b5
--- /dev/null
+++ b/tests/iii/while-do-rejected/notes.md
@@ -0,0 +1,3 @@
+# 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
new file mode 100644
index 0000000..b733e21
--- /dev/null
+++ b/tests/iii/while-do-rejected/program.cps
@@ -0,0 +1,3 @@
+WHILE FALSE DO
+ OUTPUT 1
+ENDWHILE