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>