annotate tests/headDyn.ur @ 2095:d9f918b79b5a

List.mem
author Adam Chlipala <adam@chlipala.net>
date Tue, 23 Dec 2014 14:41:23 -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>