view tests/dynTable.ur @ 2040:8ea382a57ce2

Fix index-matching bug in MonoReduce effect calculation
author Adam Chlipala <adam@chlipala.net>
date Mon, 21 Jul 2014 08:11:03 -0400
parents d2383ffc18ab
children
line wrap: on
line source
fun main () : transaction page =
    s <- source <xml/>;
    s1 <- source <xml/>;
    n <- source 0;
    return <xml><body>
      <table>
        <dyn signal={signal s}/>
        <tr> <td>Hi</td> </tr>
      </table>

      <button onclick={fn _ => v <- get n;
                          set n (v + 1);
                          set s <xml><tr> <td>Whoa!({[v]})</td> </tr></xml>}/>

      <table>
        <tr> <dyn signal={signal s1}/> </tr>
        <tr> <td>Hi!</td> </tr>
      </table>

      <button onclick={fn _ => set s1 <xml><td>Whoa!</td></xml>}/>
    </body></xml>