blob: de6c9f1a975646becb1c3a1062bf8b05aa4e29fb (
plain)
1
2
3
4
5
6
7
8
|
fun main () =
s <- source "13";
return <xml><body>
<ctextbox source={s}/>
<dyn signal={v <- signal s; return (case read v : option int of
None => <xml>None</xml>
| Some n => <xml>Some {[n]}</xml>)}/>
</body></xml>
|