Ur/Web: demo/metaform2.ur annotate

Tag NULLs with their types in SQL, to help the DBMS do type inference

author	Adam Chlipala <adam@chlipala.net>
date	Sat, 04 Jul 2015 19:24:26 -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