annotate tests/headDyn.ur @ 2119:5439b35c5d0b

Add 'download' attribute to <a/>, part of HTML5
author Sergey Mironov <grrwlf@gmail.com>
date Sun, 26 Oct 2014 14:07:07 +0000
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>