Mercurial > urweb
annotate 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 |
rev | line source |
---|---|
adamc@607 | 1 sequence s |
adamc@607 | 2 |
adamc@607 | 3 fun main () : transaction page = |
adamc@607 | 4 let |
adamc@607 | 5 fun getNext () = nextval s |
adamc@607 | 6 in |
adamc@607 | 7 s <- source 0; |
adamc@607 | 8 return <xml><body> |
adamc@607 | 9 <button value="Get It On!" |
adamc@607 | 10 onclick={n <- getNext (); |
adamc@607 | 11 set s n}/> |
adamc@607 | 12 </body></xml> |
adamc@607 | 13 end |