diff options
author | Adam Chlipala <adamc@hcoop.net> | 2010-03-02 16:00:48 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2010-03-02 16:00:48 -0500 |
commit | 3f34d0b6e326a55cc4cc4373f98f8f109b7a55d6 (patch) | |
tree | 35ff2e860464207021d5a23b6c819398e9d19a7c /src/jscomp.sml | |
parent | e9f893662a0afcbf471ab836546b60d3aa98348e (diff) |
Tone down Reduce and compensate with a new push-lambda-inside-case rule in MonoOpt; expand more Basis synonyms in Monoize
Diffstat (limited to 'src/jscomp.sml')
-rw-r--r-- | src/jscomp.sml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/jscomp.sml b/src/jscomp.sml index b99a6858..ed913168 100644 --- a/src/jscomp.sml +++ b/src/jscomp.sml @@ -445,7 +445,7 @@ fun process file = 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 @@ fun process file = | 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 |