Ur/Web: demo/metaform2.ur annotate

Extend Especialize rule: find maximal argument prefixes that end in 1 or more arguments with functional types

author	Adam Chlipala <adam@chlipala.net>
date	Fri, 09 Aug 2013 16:04:16 -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