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

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.ur	Tue Jan 12 11:19:02 2010 -0500
+++ b/lib/ur/char.ur	Tue Jan 12 16:09:13 2010 -0500
@@ -14,3 +14,6 @@
 val isXdigit = Basis.isxdigit
 val toLower = Basis.tolower
 val toUpper = Basis.toupper
+
+val toInt = Basis.ord
+val fromInt = Basis.chr