diff tests/setActive.ur @ 1792:3d823d8424cc

Disallow suspending operations in <active code={...}>
author Adam Chlipala <adam@chlipala.net>
date Mon, 23 Jul 2012 09:03:41 -0400
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/setActive.ur	Mon Jul 23 09:03:41 2012 -0400
@@ -0,0 +1,9 @@
+fun main () : transaction page =
+    i <- fresh;
+    x <- source <xml/>;
+    return <xml>
+      <body>
+        <dyn signal={signal x} />
+        <active code={set x <xml><ctextbox/><ctextbox id={i}/><ctextbox/><active code={giveFocus i; return <xml/>}/></xml>; return <xml/>}/>
+      </body>
+    </xml>