diff tests/dlist.ur @ 604:20c083327364

Add dynamic content under proper parents
author Adam Chlipala <adamc@hcoop.net>
date Sat, 17 Jan 2009 09:47:30 -0500
parents b1064de2b1f9
children
line wrap: on
line diff
--- a/tests/dlist.ur	Fri Jan 16 15:49:10 2009 -0500
+++ b/tests/dlist.ur	Sat Jan 17 09:47:30 2009 -0500
@@ -3,7 +3,7 @@
 fun delist dl =
     case dl of
         Nil => <xml>[]</xml>
-      | Cons (x, s) => <xml>{[x]} :: {delistSource s}</xml>
+      | Cons (x, s) => <xml>{[x]} :: ({delistSource s})</xml>
 
 and delistSource s = <xml><dyn signal={dl <- signal s; return (delist dl)}/></xml>