diff tests/rs.ur @ 1446:36f7d1debb37

Each context gets its own non-repeating sequence of source numbers
author Adam Chlipala <adam@chlipala.net>
date Sat, 09 Apr 2011 14:36:47 -0400
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/rs.ur	Sat Apr 09 14:36:47 2011 -0400
@@ -0,0 +1,15 @@
+fun bobo () =
+    n1 <- source 0;
+    n2 <- source 1;
+    return <xml>
+      <dyn signal={n1 <- signal n1; n2 <- signal n2; return <xml>{[n1 + n2]}</xml>}/>
+      <button value="Increment1" onclick={v <- get n1; set n1 (v + 1)}/>
+      <button value="Increment2" onclick={v <- get n2; set n2 (v + 1)}/>
+    </xml>
+
+fun main () =
+    x <- source <xml/>;
+    return <xml><body>
+      <dyn signal={signal x}/>
+      <button value="Grab" onclick={y <- rpc (bobo ()); set x y}/>
+    </body></xml>