diff tests/rpc.ur @ 607:0dd40b6bfdf3

Start of RPCification
author Adam Chlipala <adamc@hcoop.net>
date Sat, 14 Feb 2009 14:07:56 -0500
parents
children 56aaa1941dad
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/rpc.ur	Sat Feb 14 14:07:56 2009 -0500
@@ -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