annotate tests/rpcSource.ur @ 2214:edd634b889d0

Add mono_inline.sml (which was left out of last commit).
author Ziv Scully <ziv@mit.edu>
date Tue, 14 Oct 2014 18:07:09 -0400
parents 43f22a8f76cc
children
rev   line source
adam@1620 1 fun remote () =
adam@1620 2 s <- source <xml/>;
adam@1620 3 return (s, <xml><dyn signal={signal s}/></xml>)
adam@1620 4
adam@1620 5 fun main () : transaction page =
adam@1620 6 x <- source <xml/>;
adam@1620 7 return <xml><body>
adam@1620 8 <dyn signal={signal x}/>
adam@1620 9 <hr/>
adam@1620 10 <button onclick={p <- rpc (remote ());
adam@1620 11 set x p.2;
adam@1620 12 set p.1 <xml>Hi!</xml>}/>
adam@1620 13 </body></xml>