diff demo/listFun.ur @ 400:e756d3a47726

Fix a nasty driver bug, involving memory restarts and marked-up request strings
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 13:54:48 -0400
parents 2d64457eedb1
children 7ef4b2911b09
line wrap: on
line diff
--- a/demo/listFun.ur	Tue Oct 21 13:41:03 2008 -0400
+++ b/demo/listFun.ur	Tue Oct 21 13:54:48 2008 -0400
@@ -12,6 +12,7 @@
       
     fun console (ls : list M.t) = return <xml><body>
       Current list: {toXml ls}<br/>
+      Reversed list: {toXml (rev ls)}<br/>
       Length: {[length ls]}<br/>
       <br/>