From 227c87323603dc0b338e89997d2fce7ffc755fb0 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 12 Jan 2010 16:09:13 -0500
Subject: Allow escaped backslashes in literals; conversion betwixt int and
 char

---
 lib/ur/char.urs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib/ur/char.urs')

diff --git a/lib/ur/char.urs b/lib/ur/char.urs
index 02e55632..c185af92 100644
--- a/lib/ur/char.urs
+++ b/lib/ur/char.urs
@@ -14,3 +14,6 @@ val isUpper : t -> bool
 val isXdigit : t -> bool
 val toLower : t -> t
 val toUpper : t -> t
+
+val toInt : t -> int
+val fromInt : int -> t
-- 
cgit v1.2.3