From ca4013dcfdce7ccd57f80c7b0059e900a9746ac0 Mon Sep 17 00:00:00 2001
From: Zilin Chen <Zilin.Chen@nicta.com.au>
Date: Thu, 15 Dec 2016 17:14:54 +1100
Subject: [PATCH] compiler: #49

---
 cogent/tests/wip_0-ary-function.cogent | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 cogent/tests/wip_0-ary-function.cogent

diff --git a/cogent/tests/wip_0-ary-function.cogent b/cogent/tests/wip_0-ary-function.cogent
new file mode 100644
index 000000000..e7b20cb32
--- /dev/null
+++ b/cogent/tests/wip_0-ary-function.cogent
@@ -0,0 +1,10 @@
+foo : U32
+foo = let x = bar 1
+       in x + 3
+
+bar : U32 -> U32
+
+-- poly : all a. a
+-- poly = poly'[a] ()
+-- 
+-- poly' : all a. () -> a