Mercurial > urweb
diff tests/dynSpan.ur @ 691:cc58941da3e2
Checking spans in dyns
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 04 Apr 2009 11:46:24 -0400 |
parents | |
children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/dynSpan.ur Sat Apr 04 11:46:24 2009 -0400 @@ -0,0 +1,8 @@ +val x = 1 + +fun main () : transaction page = + s <- source "!"; + return <xml><body> + <dyn signal={x <- signal s; return <xml><span>{[x]}</span></xml>}/> + <button onclick={x <- get s; set s (x ^ "!")}/> + </body></xml>