diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-03-28 10:37:49 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-03-28 10:37:49 -0400 |
commit | 039b577f61a2bdf98abe10c5f10c8e3539a59d19 (patch) | |
tree | aa345d555a5a355451eb600cc3d8bcec5bfb9514 /src/jscomp.sml | |
parent | 9d944623ffa77af076486fd0f9550a1eaf64db33 (diff) |
To generate server-side source JavaScript, try both the old and new strategies; remove an unsound optimization from MonoOpt and make MonoReduce work harder to compensate
Diffstat (limited to 'src/jscomp.sml')
-rw-r--r-- | src/jscomp.sml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/jscomp.sml b/src/jscomp.sml index 9321b9ce..ce64c11b 100644 --- a/src/jscomp.sml +++ b/src/jscomp.sml @@ -1194,10 +1194,12 @@ fun process file = in ((ELet ("x", t, e', x'), loc), st) end - handle CantEmbed t => ((*ErrorMsg.errorAt loc "Unable to embed type in JavaScript"; - Print.preface ("Type", - MonoPrint.p_typ MonoEnv.empty t);*) - (e, st))) + handle CantEmbed _ => + (jsExp m outer (e', st) + handle CantEmbed t => ((*ErrorMsg.errorAt loc "Unable to embed type in JavaScript"; + Print.preface ("Type", + MonoPrint.p_typ MonoEnv.empty t);*) + (e, st)))) | EJavaScript (m, e') => (foundJavaScript := true; |