aboutsummaryrefslogtreecommitdiff
path: root/testsuite/fail_compilation/assign_void_call.elna
diff options
context:
space:
mode:
authorEugen Wissner <belka@caraus.de>2026-08-31 17:18:39 +0200
committerEugen Wissner <belka@caraus.de>2026-08-31 17:18:39 +0200
commit0f5e9f00b07606871a6289060fa904555d41ae7d (patch)
tree2699d0c10e5e1756bec8f6093796c7379ff95822 /testsuite/fail_compilation/assign_void_call.elna
parentd905e48d6af0445c7941cd2e638461db2f4d9ee8 (diff)
downloadelna-0f5e9f00b07606871a6289060fa904555d41ae7d.tar.gz
Reject comparison of uncompatible types
Diffstat (limited to 'testsuite/fail_compilation/assign_void_call.elna')
-rw-r--r--testsuite/fail_compilation/assign_void_call.elna9
1 files changed, 9 insertions, 0 deletions
diff --git a/testsuite/fail_compilation/assign_void_call.elna b/testsuite/fail_compilation/assign_void_call.elna
new file mode 100644
index 0000000..d18b1c8
--- /dev/null
+++ b/testsuite/fail_compilation/assign_void_call.elna
@@ -0,0 +1,9 @@
+var
+ x: Int
+
+proc v()
+return
+
+begin
+ x := v() (* @Error Expected type 'Int', but the expression has no value *)
+end.