annotate tests/dynSpan.ur @ 1821:e8149592990e

Better error message about signals remaining in server-side code
author Adam Chlipala <adam@chlipala.net>
date Sun, 16 Sep 2012 08:31:54 -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>