Mercurial > urweb
diff tests/id.ur @ 1703:6f2f74cc4ead
Change ID generation scheme to conform to HTML standards (thanks to Edward Yang for the catch)
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 16 Mar 2012 08:42:51 -0400 |
parents | |
children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/id.ur Fri Mar 16 08:42:51 2012 -0400 @@ -0,0 +1,11 @@ +fun main () : transaction page = + id1 <- fresh; + id2 <- fresh; + x <- source <xml/>; + return <xml><body> + <span id={id1}>Hi!</span> + <span id={id2}>Ho!</span> + <dyn signal={signal x}/> + <button value="Set" onclick={id <- fresh; set x <xml><span id={id}>He!</span></xml>}/> + <button value="Show" onclick={x <- get x; alert (show x)}/> + </body></xml>