annotate tests/dynSpan.ur @ 1270:9fd0cb0ef6e1

Try harder to place wildified 'con' declarations properly
author Adam Chlipala <adamc@hcoop.net>
date Tue, 01 Jun 2010 12:50:53 -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>