annotate tests/headDyn.ur @ 2237:e79ef5792c8b

Fix bug in redundancy checking and use finer formula for UPDATE statements.
author Ziv Scully <ziv@mit.edu>
date Sun, 05 Jul 2015 23:57:28 -0700
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>