From eaa183b7dfc841df75d42ace7a90ada1e40ff282 Mon Sep 17 00:00:00 2001 From: Rose Hogenson Date: Tue, 4 Nov 2025 18:58:28 -0800 Subject: Add lists --- tests/175-case-datatype-default.sml | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 tests/175-case-datatype-default.sml (limited to 'tests/175-case-datatype-default.sml') 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) -- cgit v1.3.1