Mercurial > urweb

diff tests/plink2.lac @ 140:f214c535d253

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
A simpler context encoding
author Adam Chlipala <adamc@hcoop.net>
date Sun, 20 Jul 2008 10:40:25 -0400
parents 91027db5a07c
children
line wrap: on
line diff
--- a/tests/plink2.lac	Sun Jul 20 10:11:16 2008 -0400
+++ b/tests/plink2.lac	Sun Jul 20 10:40:25 2008 -0400
@@ -1,8 +1,8 @@
-val pA = fn size1 => fn size2 => <html><body>
+val pA : int -> int -> page = fn size1 => fn size2 => <html><body>
         <font size={size1}>Hello</font> <font size={size2}>World!</font>
 </body></html>
 
-val main = fn () => <html><body>
+val main : unit -> page = fn () => <html><body>
         <li> <a link={pA 5 10}>Size 5</a></li>
         <li> <a link={pA 10 5}>Size 10</a></li>
 </body></html>