summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-04-09 14:36:47 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-04-09 14:36:47 -0400
commit51b2033057b25f4cecd3d5e73dc49b60b532834e (patch)
tree129120a683d01c00c6deb50349c48d8975dfd573 /tests
parent039b577f61a2bdf98abe10c5f10c8e3539a59d19 (diff)
Each context gets its own non-repeating sequence of source numbers
Diffstat (limited to 'tests')
-rw-r--r--tests/rs.ur15
-rw-r--r--tests/rs.urs1
2 files changed, 16 insertions, 0 deletions
diff --git a/tests/rs.ur b/tests/rs.ur
new file mode 100644
index 00000000..ae5ff85f
--- /dev/null
+++ b/tests/rs.ur
@@ -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>
diff --git a/tests/rs.urs b/tests/rs.urs
new file mode 100644
index 00000000..6ac44e0b
--- /dev/null
+++ b/tests/rs.urs
@@ -0,0 +1 @@
+val main : unit -> transaction page