Mercurial > urweb

view tests/ctuple.ur @ 1748:95dd9f427bb2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix from Edward Yang to generation of 404 errors in FastCGI
author Adam Chlipala <adam@chlipala.net>
date Sun, 06 May 2012 12:37:43 -0400
parents 71bafe66dbe1
children
line wrap: on
line source
val page = fn p :: (Type * Type) => fn f : p.1 -> string => fn x : p.1 => <html><body>
        {cdata (f x)}
</body></html>

val page_string = page [(string, int)] (fn x => x)

val main : unit -> page = fn () => <html><body>
        <a link={page_string "Hi"}>Hi</a>
</body></html>