Ur/Web: demo/metaform2.ur annotate

Add a new scoping check for unification variables, to fix a type inference bug

author	Adam Chlipala <adam@chlipala.net>
date	Sun, 18 Dec 2011 11:29:13 -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