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