Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
| 1619:15e0c935c91b | 1620:43f22a8f76cc |
|---|---|
| 1 fun remote () = | |
| 2 s <- source <xml/>; | |
| 3 return (s, <xml><dyn signal={signal s}/></xml>) | |
| 4 | |
| 5 fun main () : transaction page = | |
| 6 x <- source <xml/>; | |
| 7 return <xml><body> | |
| 8 <dyn signal={signal x}/> | |
| 9 <hr/> | |
| 10 <button onclick={p <- rpc (remote ()); | |
| 11 set x p.2; | |
| 12 set p.1 <xml>Hi!</xml>}/> | |
| 13 </body></xml> |