Ur/Web: demo/metaform2.ur annotate

Fix C-side unurlification of unboxable Option datatypes

author	Adam Chlipala <adam@chlipala.net>
date	Sat, 17 Dec 2011 09:24:31 -0500
parents	6302b10dbe0e
children

rev	line source
adamc@418	1 structure MM = Metaform.Make(struct
adamc@418	2 val names = {X = "x", Y = "y"}
adamc@418	3 end)
adamc@418	4
adamc@418	5 fun diversion () = return <xml><body>
adamc@418	6 Welcome to the diversion.
adamc@418	7 </body></xml>
adamc@418	8
adamc@418	9 fun main () = return <xml><body>
adamc@418	10 <li> <a link={diversion ()}>See something shiny!</a></li>
adamc@418	11 <li> <a link={MM.main ()}>Fill out a form!</a></li>
adamc@418	12 </body></xml>

Mercurial > urweb