summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-08-03 18:53:20 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-08-03 18:53:20 -0400
commitf946d43f10e2f78d179db30c3c9ae8dcc10f3c10 (patch)
tree96feb9219e03b0d172f13bf75f747e6f26efdefa /tests
parent3e65e1558de55a1a47a62690b48159d92a4ed072 (diff)
bool in Basis
Diffstat (limited to 'tests')
-rw-r--r--tests/bool.lac8
1 files changed, 8 insertions, 0 deletions
diff --git a/tests/bool.lac b/tests/bool.lac
new file mode 100644
index 00000000..b7e57dca
--- /dev/null
+++ b/tests/bool.lac
@@ -0,0 +1,8 @@
+val page = fn b => <html><body>
+ {cdata (case b of False => "No!" | True => "Yes!")}
+</body></html>
+
+val main : unit -> page = fn () => <html><body>
+ <li><a link={page True}>True</a></li>
+ <li><a link={page False}>False</a></li>
+</body></html>