Mercurial > urweb
diff tests/eargs.lac @ 241:052126db06e7
Shorthand for multi-binding exp 'fn'
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 28 Aug 2008 13:57:12 -0400 |
parents | |
children | cc193f680193 |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/eargs.lac Thu Aug 28 13:57:12 2008 -0400 @@ -0,0 +1,5 @@ +val id1 = fn n : int => n +val id2 = fn n => id1 n + +val pair1 = fn (t1 ::: Type) (t2 ::: Type) (x1 : t1) (x2 : t2) => (x1, x2) +val pair2 = fn (t1 ::: Type) (t2 ::: Type) (x1 : t1) (x2 : t2) () => pair1 x1 x2