aboutsummaryrefslogtreecommitdiffhomepage
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
commitf7db36644bdbde7b0ed48daffeb760bd5418bd2e (patch)
treed009d124587d5ea580081e4d2fccfb6ac9c21d69 /tests/rpc.ur
parentf75d359eeaaca5884d515380b735826532fad15c (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