summaryrefslogtreecommitdiff
path: root/tests/plink.lac
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-22 15:12:20 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-22 15:12:20 -0400
commite8ceaa0ae216c7c85e810998ab97989e7a83c82d (patch)
treef26deeee6825b28bb3e6005523f887de3c1a79a4 /tests/plink.lac
parentb1997d2e699e92e83f7130b7b4a4c5467dcdcd27 (diff)
Simple forms work
Diffstat (limited to 'tests/plink.lac')
-rw-r--r--tests/plink.lac2
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/plink.lac b/tests/plink.lac
index 9601f08a..eda255f4 100644
--- a/tests/plink.lac
+++ b/tests/plink.lac
@@ -2,7 +2,7 @@ val pA = fn size => <html><body>
<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>