From 3d0064a157a711f21d23f56dc2c423b2e3b1d74a Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Wed, 25 Nov 2020 21:45:49 +0000
Subject: Fix Lem output for single element enum

---
 test/typecheck/pass/single_enum.sail | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 test/typecheck/pass/single_enum.sail

(limited to 'test')

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
-- 
cgit v1.2.3