Mercurial > urweb

comparison tests/pathmap.ur @ 795:b87e71e45536

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Testing custom paths
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 May 2009 08:15:36 -0400
parents dc3fc3f3b834
children 6271f0e3c272
comparison
equal deleted inserted replaced
794:dc3fc3f3b834 795:b87e71e45536
1 val x = List.rev (List.Cons (1, List.Cons (0, List.Nil))) 1 val x = List.rev (List.Cons (1, List.Cons (0, List.Nil)))
2 val y = List.mp (plus 2) x 2 val y = List.mp (plus 2) x
3 3
4 fun main () : transaction page = return <xml><body> 4 fun main () : transaction page = return <xml><body>
5 {[x]}<br/> 5 {[x]}<br/>
6 {[y]} 6 {[y]}<br/>
7 {[Aux.hello]}
7 </body></xml> 8 </body></xml>