Mercurial > urweb

annotate tests/pprint.ur @ 2112:b4702145f8de

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Treat getHeader and getenv as vectors for reading request data supplied implicitly by browsers
author Adam Chlipala <adam@chlipala.net>
date Thu, 05 Feb 2015 11:09:25 -0500
parents 318ba997a149
children
rev   line source
adam@1727 1 fun isNone [a] (x : option a) =
adam@1727 2 case x of
adam@1727 3 None => True
adam@1727 4 | Some _ => False