annotate tests/autocomp.ur @ 1950:b3c8860508ea

New release
author Adam Chlipala <adam@chlipala.net>
date Tue, 31 Dec 2013 10:48:50 -0500
parents b2ca3e1e5b40
children
rev   line source
adam@1491 1 fun main () : transaction page =
adam@1491 2 a <- source "";
adam@1491 3 b <- source "";
adam@1491 4 return <xml><body>
adam@1491 5 <form>
adam@1491 6 <textbox{#A} source={a}/>
adam@1491 7 <button onclick={x <- get a; set b x}/>
adam@1491 8 <dyn signal={v <- signal a; return <xml>{[v]}</xml>}/>
adam@1491 9 / <dyn signal={v <- signal b; return <xml>{[v]}</xml>}/>
adam@1491 10 </form>
adam@1491 11 </body></xml>