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