blob: ad144cd60335a9505b8d8d2926ae28afd0931fff (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
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>
|
