Shorthand for multi-binding con 'fn'

2 files changed, 8 insertions, 1 deletions

diff --git a/tests/cargs.lac b/tests/cargs.lac
new file mode 100644
index 00000000..4aba9860
--- /dev/null
+++ b/tests/cargs.lac
@@ -0,0 +1,7 @@
+con id = fn t :: Type => t
+con id2 = fn (t :: Type) => id t
+con id3 = fn t => id2 t
+
+con pair = fn (t :: Type) (u :: Type) => (t, u)
+con pair2 = fn t u => pair t u
+con pair3 = fn t (u :: Type) => pair2 t u
diff --git a/tests/recBad.lac b/tests/recBad.lac
index bfff8daf..8d844efb 100644
--- a/tests/recBad.lac
+++ b/tests/recBad.lac
@@ -6,4 +6,4 @@ val rec append : t ::: Type -> list t -> list t -> list t = fn t ::: Type => fn
           | Cons (h, t) => Cons (h, append t ls2)
 
 (*val rec ones : list int = Cons (1, ones)*)
-val rec ones : unit -> list int = fn () => Cons (1, ones ())
+val rec ones = fn () => Cons (1, ones ())