diff options
Diffstat (limited to 'tests/17-case-datatype.sml')
| -rw-r--r-- | tests/17-case-datatype.sml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/17-case-datatype.sml b/tests/17-case-datatype.sml new file mode 100644 index 0000000..974f263 --- /dev/null +++ b/tests/17-case-datatype.sml @@ -0,0 +1,6 @@ +datatype D = A | B + +val _ = + case B of + A => __builtin "exit" 0 + | B => __builtin "exit" 42 |