Mercurial > urweb
annotate tests/cargs.lac @ 239:fc6f04889bf2
Shorthand for multi-binding con 'fn'
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 28 Aug 2008 13:29:57 -0400 |
parents | |
children | 7036d29574f2 |
rev | line source |
---|---|
adamc@239 | 1 con id = fn t :: Type => t |
adamc@239 | 2 con id2 = fn (t :: Type) => id t |
adamc@239 | 3 con id3 = fn t => id2 t |
adamc@239 | 4 |
adamc@239 | 5 con pair = fn (t :: Type) (u :: Type) => (t, u) |
adamc@239 | 6 con pair2 = fn t u => pair t u |
adamc@239 | 7 con pair3 = fn t (u :: Type) => pair2 t u |