From 92baa4f6bf99efe229abf2ab895cec8fd7a8936d Mon Sep 17 00:00:00 2001 From: Rose Hogenson Date: Fri, 17 May 2024 16:16:49 -0700 Subject: Fix case on datatype. --- tests/16-datatype.sml | 9 ++++----- tests/17-case-datatype.sml | 6 ++++++ 2 files changed, 10 insertions(+), 5 deletions(-) create mode 100644 tests/17-case-datatype.sml (limited to 'tests') 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) 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 -- cgit v1.3.1