Ur/Web: tests/pathmap.ur annotate

Fix unbound name problem in Jscomp injectors; more List stuff

author	Adam Chlipala <adamc@hcoop.net>
date	Sat, 06 Jun 2009 15:29:34 -0400
parents	6271f0e3c272
children

rev	line source
adamc@794	1 val x = List.rev (List.Cons (1, List.Cons (0, List.Nil)))
adamc@794	2 val y = List.mp (plus 2) x
adamc@794	3
adamc@794	4 fun main () : transaction page = return <xml><body>
adamc@794	5 {[x]}<br/>
adamc@795	6 {[y]}<br/>
adamc@796	7 {[Aux.hello]}<br/>
adamc@796	8 {List.mapX (fn n => <xml>{[n]}!</xml>) x}
adamc@794	9 </body></xml>

Mercurial > urweb