blob: 2178cf4f3c587ad1ecbad0880d53713ca3012c02 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
fun main () : transaction page =
id1 <- fresh;
id2 <- fresh;
x <- source <xml/>;
return <xml><body>
<span id={id1}>Hi!</span>
<span id={id2}>Ho!</span>
<dyn signal={signal x}/>
<button value="Set" onclick={id <- fresh; set x <xml><span id={id}>He!</span></xml>}/>
<button value="Show" onclick={x <- get x; alert (show x)}/>
</body></xml>
|
