aboutsummaryrefslogtreecommitdiff
path: root/testsuite
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite')
-rw-r--r--testsuite/fail_compilation/opaque_pointer_arithmetic.elna9
-rw-r--r--testsuite/fail_compilation/opaque_slice_element.elna8
2 files changed, 17 insertions, 0 deletions
diff --git a/testsuite/fail_compilation/opaque_pointer_arithmetic.elna b/testsuite/fail_compilation/opaque_pointer_arithmetic.elna
new file mode 100644
index 0000000..307aed8
--- /dev/null
+++ b/testsuite/fail_compilation/opaque_pointer_arithmetic.elna
@@ -0,0 +1,9 @@
+type
+ Handle = extern
+
+var
+ p: ^Handle
+
+begin
+ p := p + 1 (* @Error Opaque type 'Handle' cannot be used as an element type in pointer arithmetic *)
+end.
diff --git a/testsuite/fail_compilation/opaque_slice_element.elna b/testsuite/fail_compilation/opaque_slice_element.elna
new file mode 100644
index 0000000..0f28dae
--- /dev/null
+++ b/testsuite/fail_compilation/opaque_slice_element.elna
@@ -0,0 +1,8 @@
+type
+ Handle = extern
+
+var
+ s: []Handle (* @Error Opaque type 'Handle' cannot be used to declare a variable *)
+
+begin
+end.