Mercurial > urweb
diff tests/rpcSource.ur @ 1620:43f22a8f76cc
Allow sources to be returned by RPCs
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 03 Dec 2011 10:00:10 -0500 |
parents | |
children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/rpcSource.ur Sat Dec 03 10:00:10 2011 -0500 @@ -0,0 +1,13 @@ +fun remote () = + s <- source <xml/>; + return (s, <xml><dyn signal={signal s}/></xml>) + +fun main () : transaction page = + x <- source <xml/>; + return <xml><body> + <dyn signal={signal x}/> + <hr/> + <button onclick={p <- rpc (remote ()); + set x p.2; + set p.1 <xml>Hi!</xml>}/> + </body></xml>