From 221615de9d28d6fa768ef3ce28483ed90d2aab6c Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 4 Apr 2009 14:55:36 -0400 Subject: spawn --- tests/spawn.ur | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 tests/spawn.ur (limited to 'tests/spawn.ur') diff --git a/tests/spawn.ur b/tests/spawn.ur new file mode 100644 index 00000000..263b52bc --- /dev/null +++ b/tests/spawn.ur @@ -0,0 +1,24 @@ +table t : {A : int, Ch : channel string} + +fun listener n ch = + s <- recv ch; + alert (show n ^ ": " ^ s); + listener n ch + +fun speak id msg = + r <- oneRow (SELECT t.Ch FROM t WHERE t.A = {[id]}); + send r.T.Ch msg + +fun main () : transaction page = + ch1 <- channel; + dml (INSERT INTO t (A, Ch) VALUES (1, {[ch1]})); + ch2 <- channel; + dml (INSERT INTO t (A, Ch) VALUES (2, {[ch2]})); + + s1 <- source ""; + s2 <- source ""; + + return + 1: