annotate tests/autocomp.ur @ 2013:77cc9169d6e0

Change context-local memory allocation to return word-aligned addresses (based on patch by Evan Danaher)
author Adam Chlipala <adam@chlipala.net>
date Sun, 18 May 2014 18:58:50 -0400
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>