annotate tests/headDyn.ur @ 1848:e15234fbb163

Basis.tryRpc
author Adam Chlipala <adam@chlipala.net>
date Tue, 16 Apr 2013 10:55:48 -0400
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>