summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-05-14 09:33:48 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-05-14 09:33:48 -0400
commit29f71e629bfe700a4bfcc7d2018bdab305d6fc3e (patch)
treea2cae7eab132b9d3a0e2a1761daa414b869cdf3e /tests
parentf2fff6993d2b138c2efc5cadaa53ecbdb1c2e1b3 (diff)
cselect
Diffstat (limited to 'tests')
-rw-r--r--tests/cselect.ur11
-rw-r--r--tests/cselect.urp3
-rw-r--r--tests/cselect.urs1
3 files changed, 15 insertions, 0 deletions
diff --git a/tests/cselect.ur b/tests/cselect.ur
new file mode 100644
index 00000000..ca05f504
--- /dev/null
+++ b/tests/cselect.ur
@@ -0,0 +1,11 @@
+fun main () =
+ s <- source "";
+ return <xml><body>
+ <cselect source={s}>
+ <coption>Wilbur</coption>
+ <coption>Walbur</coption>
+ </cselect>
+
+ Hello, I'm <dyn signal={s <- signal s; return <xml>{[s]}</xml>}/>.
+ I'll be your waiter for this evening.
+ </body></xml>
diff --git a/tests/cselect.urp b/tests/cselect.urp
new file mode 100644
index 00000000..30dfa2c0
--- /dev/null
+++ b/tests/cselect.urp
@@ -0,0 +1,3 @@
+debug
+
+cselect
diff --git a/tests/cselect.urs b/tests/cselect.urs
new file mode 100644
index 00000000..6ac44e0b
--- /dev/null
+++ b/tests/cselect.urs
@@ -0,0 +1 @@
+val main : unit -> transaction page