diff tests/dynTable.ur @ 1538:ade93cd5bc59

Fix bug with <dyn> as first child of <table>
author Adam Chlipala <adam@chlipala.net>
date Sun, 14 Aug 2011 17:39:18 -0400
parents
children d2383ffc18ab
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/dynTable.ur	Sun Aug 14 17:39:18 2011 -0400
@@ -0,0 +1,21 @@
+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={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={set s1 <xml><td>Whoa!</td></xml>}/>
+    </body></xml>