Ur/Web: tests/pathmap.ur annotate

Fix generation of normal datatypes from polymorphic variants

author	Adam Chlipala <adam@chlipala.net>
date	Sun, 29 Apr 2012 20:37:45 -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