Mercurial > urweb

diff src/prim.sml @ 1257:fd1a49b51db5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix C-mangling of datatype names
author Adam Chlipala <adamc@hcoop.net>
date Sun, 16 May 2010 15:34:24 -0400
parents d7d5b167f267
children 4d04cb89649b
line wrap: on
line diff
--- a/src/prim.sml	Sat May 15 12:52:34 2010 -0400
+++ b/src/prim.sml	Sun May 16 15:34:24 2010 -0400
@@ -74,14 +74,12 @@
     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