Mercurial > urweb

annotate tests/invurl.ur @ 1990:7bd2ecf96bb0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fixed issue with datatype constructors inside functors; now on to some problem with modules inside functors
author Adam Chlipala <adam@chlipala.net>
date Thu, 20 Feb 2014 10:48:17 -0500
parents 3621f486ce72
children
rev   line source
adam@1628 1 val r = { F = fn () => return <xml/> }
adam@1628 2
adam@1628 3 fun main () : transaction page = return <xml><body>
adam@1628 4 <a link={r.F ()}>Go</a>
adam@1628 5 </body></xml>
adam@1628 6
adam@1628 7 fun main' (r' : {F : unit -> transaction page}) : transaction page = return <xml><body>
adam@1628 8 <a link={r'.F ()}>Go</a>
adam@1628 9 </body></xml>