Mercurial > urweb

diff tests/cargs.lac @ 240:7036d29574f2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Shorthand for multi-binding con declaration
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 Aug 2008 13:39:20 -0400
parents fc6f04889bf2
children
line wrap: on
line diff
--- a/tests/cargs.lac	Thu Aug 28 13:29:57 2008 -0400
+++ b/tests/cargs.lac	Thu Aug 28 13:39:20 2008 -0400
@@ -5,3 +5,10 @@
 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
+
+con id4 (t :: Type) = t
+con id5 (t :: Type) :: Type = id4 t
+con id6 t :: Type = id5 t
+
+con pair4 t (u :: Type) = pair3 t u
+con pair5 t (u :: Type) :: (Type * Type) = pair4 t u