annotate tests/autocomp.ur @ 2297:6d56080f495c

Fix a read-after-free bug using a timestamp check
author Adam Chlipala <adam@chlipala.net>
date Thu, 19 Nov 2015 13:18:58 -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>