Ur/Web: demo/metaform2.ur annotate

Back out last change and pursue a different fix, based on explicitly aborting script execution at times when we don't expect scripts to run

author	Adam Chlipala <adam@chlipala.net>
date	Fri, 03 Aug 2012 12:39:04 -0400
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