summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-02-15 12:33:41 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-02-15 12:33:41 -0500
commitf083e82c95ac4a9d3a22e032f81b6dc88a88f499 (patch)
tree82ba6f2b8547742ce5c12abb628e21a7843db234 /tests
parente7fdb6e0f6ab265f3cd850d3663a91b531de8ba8 (diff)
Initial parsing of RPC results
Diffstat (limited to 'tests')
-rw-r--r--tests/rpc2.ur25
-rw-r--r--tests/rpc2.urp5
2 files changed, 30 insertions, 0 deletions
diff --git a/tests/rpc2.ur b/tests/rpc2.ur
new file mode 100644
index 00000000..47548e76
--- /dev/null
+++ b/tests/rpc2.ur
@@ -0,0 +1,25 @@
+sequence s
+sequence s2
+
+fun dint src = n <- signal src; return <xml>{[n]}</xml>
+
+fun main () : transaction page =
+ let
+ fun getNext () =
+ n <- nextval s;
+ n2 <- nextval s2;
+ return (n, n2)
+ in
+ src1 <- source 0;
+ src2 <- source 0;
+ return <xml><body>
+ <button value="Get It On!"
+ onclick={p <- getNext ();
+ case p of
+ (n1, n2) => set src1 n1;
+ set src2 n2}/>
+ <br/>
+ Current1: <dyn signal={dint src1}/>
+ Current2: <dyn signal={dint src2}/>
+ </body></xml>
+ end
diff --git a/tests/rpc2.urp b/tests/rpc2.urp
new file mode 100644
index 00000000..74f46f98
--- /dev/null
+++ b/tests/rpc2.urp
@@ -0,0 +1,5 @@
+debug
+sql rpc2.sql
+database dbname=rpc2
+
+rpc2