aboutsummaryrefslogtreecommitdiffhomepage
path: root/tests/sbind.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-12-21 12:30:57 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-12-21 12:30:57 -0500
commitd5c3faacb1c3114fe6802973a62528cda8be8ac7 (patch)
tree8193826346d3d4131730c22f1c5fb17eee1e0576 /tests/sbind.ur
parent0a3abbb2250da6464e91566a1f275829158d3058 (diff)
Handling singnal bind
Diffstat (limited to 'tests/sbind.ur')
-rw-r--r--tests/sbind.ur5
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/sbind.ur b/tests/sbind.ur
new file mode 100644
index 00000000..6e3ca782
--- /dev/null
+++ b/tests/sbind.ur
@@ -0,0 +1,5 @@
+fun main () : transaction page = return <xml><body>
+ <p>Before</p>
+ <p><dyn signal={s <- return "Bye"; return <xml>{[s]}</xml>}/></p>
+ <p>After</p>
+</body></xml>