From e0185f84fc7b78e691f7bb939947774ef89aa0fb Mon Sep 17 00:00:00 2001
From: Max Brunsfeld <maxbrunsfeld@gmail.com>
Date: Sun, 28 Sep 2014 18:19:42 -0700
Subject: [PATCH] Print non-ascii characters as numbers in
 CharacterRange::to_string

---
 src/compiler/rules/character_range.cc | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/compiler/rules/character_range.cc b/src/compiler/rules/character_range.cc
index 8605c22d..ecf32eea 100644
--- a/src/compiler/rules/character_range.cc
+++ b/src/compiler/rules/character_range.cc
@@ -7,6 +7,7 @@ namespace rules {
 
 using std::ostream;
 using std::string;
+using std::to_string;
 
 CharacterRange::CharacterRange(uint32_t value) : min(value), max(value) {}
 CharacterRange::CharacterRange(uint32_t min, uint32_t max)
@@ -26,7 +27,10 @@ bool CharacterRange::operator<(const CharacterRange &other) const {
   return false;
 }
 
-string escape_character(unsigned char input) {
+string escape_character(uint32_t input) {
+  if (input >= 255)
+    return to_string(input);
+
   switch (input) {
     case '\0':
       return "\\0";