annotate tests/rpc.ur @ 1946:f1485ed65d6c

Avoid some spurious error messages about link/form incompatibility; change the text of that error message to include RPC handlers
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 Dec 2013 10:29:26 -0500
parents 56aaa1941dad
children
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@609 11 set s n}/><br/>
adamc@609 12 <br/>
adamc@609 13 Current: <dyn signal={n <- signal s; return <xml>{[n]}</xml>}/>
adamc@607 14 </body></xml>
adamc@607 15 end