Mercurial > urweb

annotate tests/pprint.ur @ 2062:795b5b75453c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add 'role' data attribute. Note, that 'role' attribute is a part of reach ARIA API described here: http://www.w3.org/TR/wai-aria/ Among 'role', it defines lots of aria-* attributes
author Sergey Mironov <grrwlf@gmail.com>
date Mon, 07 Jul 2014 10:05:04 +0400
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