Mercurial > urweb
diff tests/bool.lac @ 186:88d46972de53
bool in Basis
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 03 Aug 2008 18:53:20 -0400 |
parents | |
children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/bool.lac Sun Aug 03 18:53:20 2008 -0400 @@ -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>