Fix Lem output for single element enum

1 files changed, 10 insertions, 0 deletions

diff --git a/test/typecheck/pass/single_enum.sail b/test/typecheck/pass/single_enum.sail
new file mode 100644
index 00000000..7293c43a
--- /dev/null
+++ b/test/typecheck/pass/single_enum.sail
@@ -0,0 +1,10 @@
+enum foo = { BAR }
+
+val f : foo -> int
+function f BAR = 1
+
+val g : foo -> int
+function g x = match x { BAR => 1 }
+
+val h : int -> foo
+function h _ = BAR