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
commit6ee23b4ea530ff85a780cc8401cdcd078bed4ada (patch)
tree730db370cf9cd008c5cef8a958cc816c8926f231 /tests/dlist.ur
parented56c462bf4131b7e179c72bfafb4f6967bc27dc (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>