Mercurial > urweb
annotate tests/headDyn.ur @ 2079:e1879ded8095
Textual HTML5 AJAX widgets
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 16 Nov 2014 15:03:29 -0500 |
parents | 6817ddd6cf1f |
children |
rev | line source |
---|---|
adam@1728 | 1 fun main () : transaction page = |
adam@1728 | 2 x <- source <xml/>; |
adam@1728 | 3 return <xml> |
adam@1728 | 4 <head> |
adam@1728 | 5 <title>Test</title> |
adam@1728 | 6 </head> |
adam@1728 | 7 <body onload={set x <xml>boo</xml>}> |
adam@1728 | 8 <dyn signal={signal x}/> |
adam@1728 | 9 </body> |
adam@1728 | 10 </xml> |
adam@1729 | 11 |
adam@1729 | 12 fun main2 () : transaction page = |
adam@1729 | 13 return <xml> |
adam@1729 | 14 <head> |
adam@1729 | 15 <title>Test</title> |
adam@1729 | 16 </head> |
adam@1729 | 17 <body> |
adam@1729 | 18 <button onclick={alert "Hi"}/> |
adam@1729 | 19 </body> |
adam@1729 | 20 </xml> |