annotate tests/pathmap.ur @ 1907:cb57ba73a61d

make uninstall: Uninstall types_cpp.h, urweb_cpp.h Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
author Anders Kaseorg <andersk@mit.edu>
date Fri, 22 Nov 2013 09:36:14 -0500
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>