From b1ff8b5ed266a22730528784c3ca116ec0e8ca4d Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 3 Jul 2008 18:11:14 -0400 Subject: Simplify HTML examples, until the dispatching is ready --- tests/cdata.lac | 2 +- tests/cdatas.lac | 2 +- tests/html.lac | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) (limited to 'tests') 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 () => +val main : xml[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 () => +val main : xml[Html] = Hi! Bye! 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 () => +val main = Hello World! -- cgit v1.2.3