aboutsummaryrefslogtreecommitdiff
path: root/tests/programs/void_main.zc
diff options
context:
space:
mode:
Diffstat (limited to 'tests/programs/void_main.zc')
-rw-r--r--tests/programs/void_main.zc8
1 files changed, 8 insertions, 0 deletions
diff --git a/tests/programs/void_main.zc b/tests/programs/void_main.zc
new file mode 100644
index 0000000..b4fde70
--- /dev/null
+++ b/tests/programs/void_main.zc
@@ -0,0 +1,8 @@
+namespace;
+include rt;
+
+// main may be declared void: the runtime ignores what main returns (docs/SPEC.md 5.2.5, 8.1.3),
+// so a run-only image, whose run.zc declares int main();, accepts it as zy does.
+void main() {
+ rt.put_s("void main"); rt.put_c(10);
+}