aboutsummaryrefslogtreecommitdiff
path: root/tests/iii/identifier-parameter-collision
diff options
context:
space:
mode:
Diffstat (limited to 'tests/iii/identifier-parameter-collision')
-rw-r--r--tests/iii/identifier-parameter-collision/case.json8
-rw-r--r--tests/iii/identifier-parameter-collision/notes.md3
-rw-r--r--tests/iii/identifier-parameter-collision/program.cps2
3 files changed, 13 insertions, 0 deletions
diff --git a/tests/iii/identifier-parameter-collision/case.json b/tests/iii/identifier-parameter-collision/case.json
new file mode 100644
index 0000000..17daa9a
--- /dev/null
+++ b/tests/iii/identifier-parameter-collision/case.json
@@ -0,0 +1,8 @@
+{
+ "errors": [
+ {
+ "reason": "Duplicate\\ parameter\\ name\\ 'value'",
+ "line": 1
+ }
+ ]
+}
diff --git a/tests/iii/identifier-parameter-collision/notes.md b/tests/iii/identifier-parameter-collision/notes.md
new file mode 100644
index 0000000..c752a2f
--- /dev/null
+++ b/tests/iii/identifier-parameter-collision/notes.md
@@ -0,0 +1,3 @@
+# identifier-parameter-collision
+
+The compiler must reject this program: Duplicate parameter name value. The diagnostic must identify line 1; compilation must preserve existing output.
diff --git a/tests/iii/identifier-parameter-collision/program.cps b/tests/iii/identifier-parameter-collision/program.cps
new file mode 100644
index 0000000..2cb5af6
--- /dev/null
+++ b/tests/iii/identifier-parameter-collision/program.cps
@@ -0,0 +1,2 @@
+PROCEDURE Bad(Value : INTEGER, value : INTEGER)
+ENDPROCEDURE