# HG changeset patch
# User haftmann
# Date 1175170907 -7200
# Node ID ab23925c64d6997a58f59075677d92f7861b4653
# Parent  6ce4bddf3bcb5138bffad253db5145d6d0108ff9
improved character output for SML

diff -r 6ce4bddf3bcb -r ab23925c64d6 src/Pure/Tools/codegen_serializer.ML
--- a/src/Pure/Tools/codegen_serializer.ML	Thu Mar 29 14:21:45 2007 +0200
+++ b/src/Pure/Tools/codegen_serializer.ML	Thu Mar 29 14:21:47 2007 +0200
@@ -375,12 +375,7 @@
       | pr_term vars fxy (INum n) =
           brackets [(str o IntInf.toString) n, str ":", str "IntInf.int"]
       | pr_term vars _ (IChar c) =
-          (str o prefix "#" o quote)
-            (let val i = ord c
-              in if i < 32 orelse i = 34 orelse i = 92
-                then prefix "\\" (string_of_int i)
-                else c
-              end)
+          (str o prefix "#" o quote o ML_Syntax.print_char) c
       | pr_term vars fxy (t as ICase (_, [_])) =
           let
             val (binds, t') = CodegenThingol.unfold_let t;