comparison 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
comparison
equal deleted inserted replaced
606:5145181b02fa 607:0dd40b6bfdf3
1 sequence s
2
3 fun main () : transaction page =
4 let
5 fun getNext () = nextval s
6 in
7 s <- source 0;
8 return <xml><body>
9 <button value="Get It On!"
10 onclick={n <- getNext ();
11 set s n}/>
12 </body></xml>
13 end