comparison 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
comparison
equal deleted inserted replaced
1791:2f8b8952fe27 1792:3d823d8424cc
1 fun main () : transaction page =
2 i <- fresh;
3 x <- source <xml/>;
4 return <xml>
5 <body>
6 <dyn signal={signal x} />
7 <active code={set x <xml><ctextbox/><ctextbox id={i}/><ctextbox/><active code={giveFocus i; return <xml/>}/></xml>; return <xml/>}/>
8 </body>
9 </xml>