diff tests/activeFocus.ur @ 1790:56b8efff64e7

Nicer <active> semantics
author Adam Chlipala <adam@chlipala.net>
date Sun, 22 Jul 2012 09:42:17 -0400
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/activeFocus.ur	Sun Jul 22 09:42:17 2012 -0400
@@ -0,0 +1,18 @@
+fun main () : transaction page =
+    i <- fresh;
+    return <xml><body>
+      <ctextbox/>
+      <ctextbox id={i}/>
+      <active code={giveFocus i; return <xml>Done</xml>}/>
+    </body></xml>
+
+fun dynamic () : transaction page =
+    x <- source <xml/>;
+    return <xml><body>
+      <dyn signal={signal x}/>
+      <button onclick={fn _ => i <- fresh; set x <xml>
+        <ctextbox/>
+        <ctextbox id={i}/>
+        <active code={giveFocus i; return <xml>Done</xml>}/>
+      </xml>}/>
+    </body></xml>