diff src/jscomp.sml @ 1176:51e596feec37

Tone down Reduce and compensate with a new push-lambda-inside-case rule in MonoOpt; expand more Basis synonyms in Monoize
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Mar 2010 16:00:48 -0500
parents 7a31e0cf25e9
children 26fed2c4f5be
line wrap: on
line diff
--- a/src/jscomp.sml	Tue Mar 02 10:33:49 2010 -0500
+++ b/src/jscomp.sml	Tue Mar 02 16:00:48 2010 -0500
@@ -445,7 +445,7 @@
                                 case p of
                                     Prim.String s =>
                                     str ("\"" ^ String.translate jsChar s ^ "\"")
-                                  | Prim.Char ch => str ("'" ^ jsChar ch ^ "'")
+                                  | Prim.Char ch => str ("\"" ^ jsChar ch ^ "\"")
                                   | _ => str (Prim.toString p)
                             end
 
@@ -1173,7 +1173,8 @@
                | EJavaScript (m, e') =>
                  (foundJavaScript := true;
                   jsExp m outer (e', st)
-                  handle CantEmbed _ => (e, st))
+                  handle CantEmbed t => ((*Print.preface ("Can't embed", MonoPrint.p_typ MonoEnv.empty t);*)
+                                         (e, st)))
 
                | ESignalReturn e =>
                  let