annotate tests/headDyn.ur @ 2104:7755f00a4fc3

Switch to using OpenSSL PRNG for the one remaining rand()
author Adam Chlipala <adam@chlipala.net>
date Mon, 12 Jan 2015 12:02:54 -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>