From a6d534b172ccb8eadc24e0e903b196085869800e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Fri, 28 Mar 2008 15:20:46 -0400
Subject: Simple elaboration working

---
 tests/stuff.lac | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests/stuff.lac')

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