summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-03 18:11:14 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-03 18:11:14 -0400
commitb1ff8b5ed266a22730528784c3ca116ec0e8ca4d (patch)
tree8492500dbd72c617d14e25c43093e250dd1b19bf
parent8d4e252a0d4ac2c89805cd2785f79572cdfe7d82 (diff)
Simplify HTML examples, until the dispatching is ready
-rw-r--r--tests/cdata.lac2
-rw-r--r--tests/cdatas.lac2
-rw-r--r--tests/html.lac2
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>