diff tests/rform.ur @ 598:4c2c740c6931

Hooking a source into an input
author Adam Chlipala <adamc@hcoop.net>
date Sun, 11 Jan 2009 10:05:06 -0500
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/rform.ur	Sun Jan 11 10:05:06 2009 -0500
@@ -0,0 +1,10 @@
+fun main () : transaction page =
+    s <- source "Hi";
+    return <xml><body>
+      <form>
+        <textbox{#A} source={s}/>
+      </form>
+      <a onclick={set s "NEW AND DIFFERENT"}>Change it up!</a><br/>
+      <br/>
+      Latest: <dyn signal={s <- signal s; return (cdata s)}/>
+    </body></xml>