From a86fbcb8f79e6f505ff2bd93fe6a73aacd1f7c31 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 15 May 2010 12:52:34 -0400
Subject: Avoid reimplementing conversion to C strings

---
 src/prim.sml | 15 +--------------
 1 file changed, 1 insertion(+), 14 deletions(-)

(limited to 'src/prim.sml')

diff --git a/src/prim.sml b/src/prim.sml
index e094e0b1..849518f4 100644
--- a/src/prim.sml
+++ b/src/prim.sml
@@ -74,20 +74,7 @@ fun pad (n, ch, s) =
     else
         str ch ^ pad (n-1, ch, s)
 
-val gccify = String.translate (fn ch =>
-                                  case ch of
-                                      #"\"" => "\\\""
-                                    | #"\\" => "\\\\"
-                                    | #"'" => "\\'"
-                                    | #"\n" => "\\n"
-                                    | #"\r" => "\\r"
-                                    | #"\t" => "\\t"
-                                    | #" " => " "
-                                    | _ =>
-                                      if Char.isPrint ch then
-                                          str ch
-                                      else
-                                          "\\" ^ pad (3, #"0", Int.fmt StringCvt.OCT (ord ch)))
+val gccify = String.toCString
 
 fun p_t_GCC t =
     case t of
-- 
cgit v1.2.3