diff tests/plink.lac @ 144:f0d3402184d1

Simple forms work
author Adam Chlipala <adamc@hcoop.net>
date Tue, 22 Jul 2008 15:12:20 -0400
parents 6230bdd122e7
children
line wrap: on
line diff
--- a/tests/plink.lac	Sun Jul 20 13:30:19 2008 -0400
+++ b/tests/plink.lac	Tue Jul 22 15:12:20 2008 -0400
@@ -2,7 +2,7 @@
         <font size={size}>Hello World!</font>
 </body></html>
 
-val main = fn () => <html><body>
+val main : unit -> page = fn () => <html><body>
         <li> <a link={pA 5}>Size 5</a></li>
         <li> <a link={pA 10}>Size 10</a></li>
 </body></html>