summaryrefslogtreecommitdiff
path: root/tests/dlist.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-01-16 15:49:10 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-01-16 15:49:10 -0500
commit45ac3423d55ad88509374176ca15eca34afd0f1e (patch)
treeee402a827eb239b280a93f70202795980b0d1dce /tests/dlist.ur
parentc962db0783caec9d00a3fe3b01733f1660305834 (diff)
dlist example working
Diffstat (limited to 'tests/dlist.ur')
-rw-r--r--tests/dlist.ur1
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/dlist.ur b/tests/dlist.ur
index 211291bc..dbf8c3c5 100644
--- a/tests/dlist.ur
+++ b/tests/dlist.ur
@@ -19,4 +19,5 @@ fun main () : transaction page =
tl <- get s;
s' <- source (Cons (hd, tl));
set s s'}/>
+ <button value="Reset" onclick={set s ns}/>
</body></xml>