summaryrefslogtreecommitdiff
path: root/tests/rpc.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-02-14 14:07:56 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-02-14 14:07:56 -0500
commita89a3e41b94c294e1f08d369f2558e12b532e430 (patch)
treed009d124587d5ea580081e4d2fccfb6ac9c21d69 /tests/rpc.ur
parentf9fc82e21b19e56f2f43f0e26d421c6364a1bf51 (diff)
Start of RPCification
Diffstat (limited to 'tests/rpc.ur')
-rw-r--r--tests/rpc.ur13
1 files changed, 13 insertions, 0 deletions
diff --git a/tests/rpc.ur b/tests/rpc.ur
new file mode 100644
index 00000000..85191229
--- /dev/null
+++ b/tests/rpc.ur
@@ -0,0 +1,13 @@
+sequence s
+
+fun main () : transaction page =
+ let
+ fun getNext () = nextval s
+ in
+ s <- source 0;
+ return <xml><body>
+ <button value="Get It On!"
+ onclick={n <- getNext ();
+ set s n}/>
+ </body></xml>
+ end