annotate demo/metaform2.ur @ 1946:f1485ed65d6c

Avoid some spurious error messages about link/form incompatibility; change the text of that error message to include RPC handlers
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 Dec 2013 10:29:26 -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>