Ur/Web: tests/rpc.ur annotate

Escape character constants; lift indices properly in Reduce 'case' simplification

author	Adam Chlipala <adamc@hcoop.net>
date	Tue, 15 Sep 2009 12:41:54 -0400
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

Mercurial > urweb