diff options
Diffstat (limited to 'tests/12-case-int.sml')
| -rw-r--r-- | tests/12-case-int.sml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/tests/12-case-int.sml b/tests/12-case-int.sml deleted file mode 100644 index 98967e4..0000000 --- a/tests/12-case-int.sml +++ /dev/null @@ -1,5 +0,0 @@ -val _ = - case 18 of - 17 => __builtin "exit" 41 - | 18 => __builtin "exit" 42 - | _ => __builtin "exit" 43 |