diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-03 18:11:14 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-03 18:11:14 -0400 |
| commit | b1ff8b5ed266a22730528784c3ca116ec0e8ca4d (patch) | |
| tree | 8492500dbd72c617d14e25c43093e250dd1b19bf /tests | |
| parent | 8d4e252a0d4ac2c89805cd2785f79572cdfe7d82 (diff) | |
Simplify HTML examples, until the dispatching is ready
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/cdata.lac | 2 | ||||
| -rw-r--r-- | tests/cdatas.lac | 2 | ||||
| -rw-r--r-- | tests/html.lac | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/tests/cdata.lac b/tests/cdata.lac index 1822df5a..04556658 100644 --- a/tests/cdata.lac +++ b/tests/cdata.lac @@ -1 +1 @@ -val main : {} -> xml[Html] = fn () => <html></html> +val main : xml[Html] = <html></html> diff --git a/tests/cdatas.lac b/tests/cdatas.lac index ab154e18..bcbf26e3 100644 --- a/tests/cdatas.lac +++ b/tests/cdatas.lac @@ -1,4 +1,4 @@ -val main : {} -> xml[Html] = fn () => <html> +val main : xml[Html] = <html> Hi! Bye! </html> diff --git a/tests/html.lac b/tests/html.lac index 9b81b73d..e6f93ab3 100644 --- a/tests/html.lac +++ b/tests/html.lac @@ -1,4 +1,4 @@ -val main = fn () => <html> +val main = <html> <head> <title>Hello World!</title> </head> |