summaryrefslogtreecommitdiff
path: root/tests/dlist.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-01-17 09:47:30 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-01-17 09:47:30 -0500
commit65bf7ccfc6245257f810a7c95c48b9a37fed34e7 (patch)
tree730db370cf9cd008c5cef8a958cc816c8926f231 /tests/dlist.ur
parent45ac3423d55ad88509374176ca15eca34afd0f1e (diff)
Add dynamic content under proper parents
Diffstat (limited to 'tests/dlist.ur')
-rw-r--r--tests/dlist.ur2
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/dlist.ur b/tests/dlist.ur
index dbf8c3c5..0733a0db 100644
--- a/tests/dlist.ur
+++ b/tests/dlist.ur
@@ -3,7 +3,7 @@ datatype dlist = Nil | Cons of string * source dlist
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>