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