Mercurial > urweb

diff lib/ur/char.urs @ 1128:e1cf925e2074

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Allow escaped backslashes in literals; conversion betwixt int and char
author Adam Chlipala <adamc@hcoop.net>
date Tue, 12 Jan 2010 16:09:13 -0500
parents e8a35d710ab9
children
line wrap: on
line diff
--- a/lib/ur/char.urs	Tue Jan 12 11:19:02 2010 -0500
+++ b/lib/ur/char.urs	Tue Jan 12 16:09:13 2010 -0500
@@ -14,3 +14,6 @@
 val isXdigit : t -> bool
 val toLower : t -> t
 val toUpper : t -> t
+
+val toInt : t -> int
+val fromInt : int -> t