Mercurial > urweb
diff tests/rpc2.ur @ 613:c5991cdb0c4b
Initial parsing of RPC results
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 15 Feb 2009 12:33:41 -0500 |
| parents | |
| children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/rpc2.ur Sun Feb 15 12:33:41 2009 -0500 @@ -0,0 +1,25 @@ +sequence s +sequence s2 + +fun dint src = n <- signal src; return <xml>{[n]}</xml> + +fun main () : transaction page = + let + fun getNext () = + n <- nextval s; + n2 <- nextval s2; + return (n, n2) + in + src1 <- source 0; + src2 <- source 0; + return <xml><body> + <button value="Get It On!" + onclick={p <- getNext (); + case p of + (n1, n2) => set src1 n1; + set src2 n2}/> + <br/> + Current1: <dyn signal={dint src1}/> + Current2: <dyn signal={dint src2}/> + </body></xml> + end