diff 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
line wrap: on
line diff
--- a/tests/pathmap.ur	Thu May 14 08:15:36 2009 -0400
+++ b/tests/pathmap.ur	Thu May 14 09:11:58 2009 -0400
@@ -4,5 +4,6 @@
 fun main () : transaction page = return <xml><body>
   {[x]}<br/>
   {[y]}<br/>
-  {[Aux.hello]}
+  {[Aux.hello]}<br/>
+  {List.mapX (fn n => <xml>{[n]}!</xml>) x}
 </body></xml>