From 44ffaada5a0dc5ade3a73fe9b54fea1639eb2730 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 16 May 2010 15:34:24 -0400
Subject: Fix C-mangling of datatype names

---
 src/prim.sml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'src/prim.sml')

diff --git a/src/prim.sml b/src/prim.sml
index 849518f4..d4471143 100644
--- a/src/prim.sml
+++ b/src/prim.sml
@@ -74,14 +74,12 @@ fun pad (n, ch, s) =
     else
         str ch ^ pad (n-1, ch, s)
 
-val gccify = String.toCString
-
 fun p_t_GCC t =
     case t of
         Int n => string (int2s n)
       | Float n => string (float2s n)
-      | String s => box [string "\"", string (gccify s), string "\""]
-      | Char ch => box [string "'", string (gccify (str ch)), string "'"]
+      | String s => box [string "\"", string (String.toCString s), string "\""]
+      | Char ch => box [string "'", string (Char.toCString ch), string "'"]
 
 fun equal x =
     case x of
-- 
cgit v1.2.3