From c3c7a475626786988f0a367fc3c20f903f3fcbba Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 26 Jan 2008 17:10:26 -0500
Subject: Parsing basic expressions

---
 tests/stuff.lac | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'tests')

diff --git a/tests/stuff.lac b/tests/stuff.lac
index d58c1573..db29d5db 100644
--- a/tests/stuff.lac
+++ b/tests/stuff.lac
@@ -13,3 +13,6 @@ con c8 = fn t :: Type => t
 
 con c9 = {}
 con c10 = ([]) :: {Type}
+
+val v1 = fn t :: Type => fn x : t => x
+val v2 = v1 [c1] (fn y => y)
-- 
cgit v1.2.3