Ur/Web: tests/nest2.ur annotate

Full Grid1 compiles, thanks to avoiding code size blow-up in mono_reduce

author	Adam Chlipala <adamc@hcoop.net>
date	Sun, 13 Sep 2009 13:25:09 -0400
parents	787d4931fb07
children

rev	line source
adamc@453	1 fun wooho (wrap : xbody -> transaction page) =
adamc@453	2 let
adamc@453	3 fun subPage n =
adamc@453	4 let
adamc@453	5 fun subberPage () = wrap <xml>{[n]}</xml>
adamc@453	6 in
adamc@453	7 wrap <xml><a link={subberPage ()}>Go</a></xml>
adamc@453	8 end
adamc@453	9 in
adamc@453	10 subPage 0
adamc@453	11 end
adamc@453	12
adamc@453	13 fun wrap x = return <xml><body>{x}</body></xml>
adamc@453	14
adamc@453	15 fun main () = wooho wrap

Mercurial > urweb