Mercurial > urweb
comparison tests/pathmap.ur @ 796:6271f0e3c272
Fix a nasty binding bug in CoreUtil
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 14 May 2009 09:11:58 -0400 |
parents | b87e71e45536 |
children |
comparison
equal
deleted
inserted
replaced
795:b87e71e45536 | 796:6271f0e3c272 |
---|---|
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]}<br/> | 6 {[y]}<br/> |
7 {[Aux.hello]} | 7 {[Aux.hello]}<br/> |
8 {List.mapX (fn n => <xml>{[n]}!</xml>) x} | |
8 </body></xml> | 9 </body></xml> |