annotate tests/dynSpan.ur @ 2111:809bceab15a3

Don't allow singleton <button> tags
author Adam Chlipala <adam@chlipala.net>
date Sun, 01 Feb 2015 15:50:54 -0500
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>