From cd49c9df8e1d688327ae045729b538df00b77622 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Mon, 11 Nov 2019 17:00:24 +0000
Subject: Make sure undefined_gen inserts enough type annotations for union
 constructors

---
 test/c/undefined_union.expect |  1 +
 test/c/undefined_union.sail   | 11 +++++++++++
 2 files changed, 12 insertions(+)
 create mode 100644 test/c/undefined_union.expect
 create mode 100644 test/c/undefined_union.sail

(limited to 'test/c')

diff --git a/test/c/undefined_union.expect b/test/c/undefined_union.expect
new file mode 100644
index 00000000..9766475a
--- /dev/null
+++ b/test/c/undefined_union.expect
@@ -0,0 +1 @@
+ok
diff --git a/test/c/undefined_union.sail b/test/c/undefined_union.sail
new file mode 100644
index 00000000..9b652b34
--- /dev/null
+++ b/test/c/undefined_union.sail
@@ -0,0 +1,11 @@
+
+union Test = {
+  Ctor1 : int,
+  Ctor2 : (int, int)
+}
+
+val "print_endline" : string -> unit
+
+function main() -> unit = {
+  print_endline("ok")
+}
-- 
cgit v1.2.3