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>