annotate tests/dynSpan.ur @ 782:a44daa674810

Make Effectize more precise
author Adam Chlipala <adamc@hcoop.net>
date Tue, 05 May 2009 10:23:16 -0400
parents cc58941da3e2
children
rev   line source
adamc@691 1 val x = 1
adamc@691 2
adamc@691 3 fun main () : transaction page =
adamc@691 4 s <- source "!";
adamc@691 5 return <xml><body>
adamc@691 6 <dyn signal={x <- signal s; return <xml><span>{[x]}</span></xml>}/>
adamc@691 7 <button onclick={x <- get s; set s (x ^ "!")}/>
adamc@691 8 </body></xml>