Mercurial > urweb
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