compiler: #49

au-ts · Jan 12, 2017 · ca4013d · ca4013d
1 parent b6f32e9
commit ca4013d
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/cogent/tests/wip_0-ary-function.cogent 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