diff src/jscomp.sml @ 1285:514be09d5018

Better UTF-8 escaping for JavaScript and SQL literals
author Adam Chlipala <adam@chlipala.net>
date Tue, 10 Aug 2010 15:55:43 -0400
parents 003df929ee08
children acabf3935060
line wrap: on
line diff
--- a/src/jscomp.sml	Tue Aug 10 14:52:33 2010 -0400
+++ b/src/jscomp.sml	Tue Aug 10 15:55:43 2010 -0400
@@ -435,7 +435,7 @@
                                       | #"\r" => "\\r"
                                       | #"\t" => "\\t"
                                       | ch =>
-                                        if Char.isPrint ch then
+                                        if Char.isPrint ch orelse ord ch >= 128 then
                                             String.str ch
                                         else
                                             "\\" ^ padWith (#"0",