diff options
| author |  Adam Chlipala <adamc@csail.mit.edu> | 2018-12-25 09:21:42 -0500 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2018-12-25 09:21:42 -0500 |
| commit | d4620695ec44da55be046f9dee4caf1f29759943 (patch) | |
| tree | 1b4ceeea0c028fb354fa28e29bb384d4bb8fc205 /tests/bool.ur | |
| parent | c9bb1becf98d02123666eb084de88a443e1a2544 (diff) | |
| parent | 1a39672b01dc236068475e2d1a8a6f21814cba7e (diff) | |
Merge pull request #152 from ashalkhakov/more-tests
More tests.
Diffstat (limited to 'tests/bool.ur')
| -rw-r--r-- | tests/bool.ur | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tests/bool.ur b/tests/bool.ur index b7e57dca..b8edbba6 100644 --- a/tests/bool.ur +++ b/tests/bool.ur @@ -1,8 +1,8 @@ -val page = fn b => <html><body> +val page = fn b => return <xml><body> {cdata (case b of False => "No!" | True => "Yes!")} -</body></html> +</body></xml> -val main : unit -> page = fn () => <html><body> +val main : unit -> transaction page = fn () => return <xml><body> <li><a link={page True}>True</a></li> <li><a link={page False}>False</a></li> -</body></html> +</body></xml> |