annotate tests/dynTable.ur @ 1965:126d24ef6678

Turn off GCC's fancy %n checking, because the performance cost is too high
author Adam Chlipala <adam@chlipala.net>
date Fri, 07 Feb 2014 18:34:17 -0500
parents d2383ffc18ab
children
rev   line source
adam@1538 1 fun main () : transaction page =
adam@1538 2 s <- source <xml/>;
adam@1538 3 s1 <- source <xml/>;
adam@1538 4 n <- source 0;
adam@1538 5 return <xml><body>
adam@1538 6 <table>
adam@1538 7 <dyn signal={signal s}/>
adam@1538 8 <tr> <td>Hi</td> </tr>
adam@1538 9 </table>
adam@1538 10
adam@1803 11 <button onclick={fn _ => v <- get n;
adam@1803 12 set n (v + 1);
adam@1803 13 set s <xml><tr> <td>Whoa!({[v]})</td> </tr></xml>}/>
adam@1538 14
adam@1538 15 <table>
adam@1538 16 <tr> <dyn signal={signal s1}/> </tr>
adam@1538 17 <tr> <td>Hi!</td> </tr>
adam@1538 18 </table>
adam@1538 19
adam@1803 20 <button onclick={fn _ => set s1 <xml><td>Whoa!</td></xml>}/>
adam@1538 21 </body></xml>