Mercurial > urweb

diff tests/stuff.lac @ 11:e97c6d335869

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple elaboration working
author Adam Chlipala <adamc@hcoop.net>
date Fri, 28 Mar 2008 15:20:46 -0400
parents a455a9f85cc3
children d89477f07c1e
line wrap: on
line diff
--- a/tests/stuff.lac	Fri Mar 28 13:59:03 2008 -0400
+++ b/tests/stuff.lac	Fri Mar 28 15:20:46 2008 -0400
@@ -15,4 +15,4 @@
 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