annotate tests/dynSpan.ur @ 1021:7a4a55e05081

Use call/cc for recv and sleep
author Adam Chlipala <adamc@hcoop.net>
date Sun, 25 Oct 2009 15:29:21 -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>