diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-07-20 10:40:25 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-20 10:40:25 -0400 |
commit | 0fe71710d474e4c93392ec9d2069ef36464fbfa0 (patch) | |
tree | 4a158085273dfa721a1dcf645c70d5083aa52ebc /tests | |
parent | d76bf83a5e8eb9a0b4e194f83cfadd8d55c00dfd (diff) |
A simpler context encoding
Diffstat (limited to 'tests')
-rw-r--r-- | tests/plink2.lac | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/plink2.lac b/tests/plink2.lac index 22cd9094..e446515e 100644 --- a/tests/plink2.lac +++ b/tests/plink2.lac @@ -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> |