diff tests/cselect.ur @ 797:2c463eee89fa

cselect
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 May 2009 09:33:48 -0400
parents
children 9330ba3a2799
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/cselect.ur	Thu May 14 09:33:48 2009 -0400
@@ -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>