aboutsummaryrefslogtreecommitdiff
path: root/testsuite/fail_compilation/array_dimension_size.elna
diff options
context:
space:
mode:
authorEugen Wissner <belka@caraus.de>2026-10-15 14:46:38 +0200
committerEugen Wissner <belka@caraus.de>2026-10-15 14:46:38 +0200
commit56a1244380133ab400f98d2da15353e080ffb360 (patch)
treef4e0aef02c8d356fc2c67bfdb2f1c490858c24cf /testsuite/fail_compilation/array_dimension_size.elna
parentde6ecae0f072bb32be95382c536a517eabe4b1f1 (diff)
downloadelna-56a1244380133ab400f98d2da15353e080ffb360.tar.gz
Restrict index types to Int and WordHEADcpp
Diffstat (limited to 'testsuite/fail_compilation/array_dimension_size.elna')
-rw-r--r--testsuite/fail_compilation/array_dimension_size.elna8
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/fail_compilation/array_dimension_size.elna b/testsuite/fail_compilation/array_dimension_size.elna
new file mode 100644
index 0000000..bd5bb7c
--- /dev/null
+++ b/testsuite/fail_compilation/array_dimension_size.elna
@@ -0,0 +1,8 @@
+module
+
+proc f()
+var
+ a: [0]Int (* @Error Array dimension must be greater than zero *)
+return
+
+end.