Mercurial > urweb
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>