aboutsummaryrefslogtreecommitdiff
path: root/tests/iii/identifier-array-collision
diff options
context:
space:
mode:
Diffstat (limited to 'tests/iii/identifier-array-collision')
-rw-r--r--tests/iii/identifier-array-collision/case.json8
-rw-r--r--tests/iii/identifier-array-collision/notes.md3
-rw-r--r--tests/iii/identifier-array-collision/program.cps2
3 files changed, 13 insertions, 0 deletions
diff --git a/tests/iii/identifier-array-collision/case.json b/tests/iii/identifier-array-collision/case.json
new file mode 100644
index 0000000..4bb0e66
--- /dev/null
+++ b/tests/iii/identifier-array-collision/case.json
@@ -0,0 +1,8 @@
+{
+ "errors": [
+ {
+ "reason": "Declaration\\ of\\ values\\ conflicts\\ with\\ an\\ existing\\ declaration\\ in\\ this\\ scope",
+ "line": 2
+ }
+ ]
+}
diff --git a/tests/iii/identifier-array-collision/notes.md b/tests/iii/identifier-array-collision/notes.md
new file mode 100644
index 0000000..e11a241
--- /dev/null
+++ b/tests/iii/identifier-array-collision/notes.md
@@ -0,0 +1,3 @@
+# identifier-array-collision
+
+Names differing only in ASCII case cannot introduce a separate symbol. Require Declaration of values conflicts with an existing declaration in this scope at line 2, a failed compilation, and preservation of any existing output.
diff --git a/tests/iii/identifier-array-collision/program.cps b/tests/iii/identifier-array-collision/program.cps
new file mode 100644
index 0000000..94a8083
--- /dev/null
+++ b/tests/iii/identifier-array-collision/program.cps
@@ -0,0 +1,2 @@
+DECLARE Values : ARRAY[1:2] OF INTEGER
+DECLARE values : INTEGER