From 07574363efc8fa046d197c71a53ac9987c064902 Mon Sep 17 00:00:00 2001
From: David Rajchenbach-Teller <dteller@mozilla.com>
Date: Fri, 4 Nov 2011 14:33:11 +0100
Subject: [PATCH] char.rs: Added a function cmp

---
 src/lib/char.rs | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/lib/char.rs b/src/lib/char.rs
index 28345fb19fe9..0af3b0d1a917 100644
--- a/src/lib/char.rs
+++ b/src/lib/char.rs
@@ -94,6 +94,7 @@ pure fn is_whitespace(c: char) -> bool {
     } else if c == ch_no_break_space { true } else { false }
 }
 
+
 pure fn to_digit(c: char) -> u8 {
     alt c {
         '0' to '9' { c as u8 - ('0' as u8) }
@@ -102,3 +103,10 @@ pure fn to_digit(c: char) -> u8 {
         _ { fail; }
     }
 }
+
+
+fn cmp(a: char, b: char) -> int {
+    ret  if b > a { -1 }
+    else if b < a { 1 }
+    else { 0 }
+}
\ No newline at end of file