aboutsummaryrefslogtreecommitdiff
path: root/tests/conformance/4-statements/switch_two_defaults.zc
diff options
context:
space:
mode:
authorGravatar zinc <zinc@downsta.ir> 2026-10-14 15:37:28 +0330
committerGravatar zinc <zinc@downsta.ir> 2026-10-14 15:39:03 +0330
commita275919ea9141a9d8c966ccef040666d9bda3b60 (patch)
tree5de0bf209aba110f3c80499bb1ceaa5068089b0a /tests/conformance/4-statements/switch_two_defaults.zc
parenttodo: record each agent's state at the end of the session and the merge order (diff)
agent/spec-conformance: unmerged work from previous session
Diffstat (limited to 'tests/conformance/4-statements/switch_two_defaults.zc')
-rw-r--r--tests/conformance/4-statements/switch_two_defaults.zc5
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/conformance/4-statements/switch_two_defaults.zc b/tests/conformance/4-statements/switch_two_defaults.zc
new file mode 100644
index 0000000..e1f4f90
--- /dev/null
+++ b/tests/conformance/4-statements/switch_two_defaults.zc
@@ -0,0 +1,5 @@
+// expect error: a switch has one default
+// spec 4.7.1
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() { int k = 1; switch (k) { default: pn(1); default: pn(2); } return 0; }