Mercurial > urweb

comparison tests/stuff.lac @ 8:a455a9f85cc3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parsing basic expressions
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 17:10:26 -0500
parents 2ce5bf227d01
children e97c6d335869
comparison
equal deleted inserted replaced
7:2ce5bf227d01 8:a455a9f85cc3
11 11
12 con c8 = fn t :: Type => t 12 con c8 = fn t :: Type => t
13 13
14 con c9 = {} 14 con c9 = {}
15 con c10 = ([]) :: {Type} 15 con c10 = ([]) :: {Type}
16
17 val v1 = fn t :: Type => fn x : t => x
18 val v2 = v1 [c1] (fn y => y)