From 7ed5deb4aa0f7c9a61133a489f0d00e73d95c225 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 12 Jan 2010 16:09:13 -0500 Subject: Allow escaped backslashes in literals; conversion betwixt int and char --- lib/ur/char.ur | 3 +++ 1 file changed, 3 insertions(+) (limited to 'lib/ur/char.ur') diff --git a/lib/ur/char.ur b/lib/ur/char.ur index 29e181e6..d2890bea 100644 --- a/lib/ur/char.ur +++ b/lib/ur/char.ur @@ -14,3 +14,6 @@ val isUpper = Basis.isupper val isXdigit = Basis.isxdigit val toLower = Basis.tolower val toUpper = Basis.toupper + +val toInt = Basis.ord +val fromInt = Basis.chr -- cgit v1.2.3