summaryrefslogtreecommitdiff
path: root/src/jscomp.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-03-28 10:37:49 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-03-28 10:37:49 -0400
commitbb8cd3211735e282f6e61a5bc9136eec616379e4 (patch)
treeaa345d555a5a355451eb600cc3d8bcec5bfb9514 /src/jscomp.sml
parentbeb53103cf966168842e2bc0a80d47dea2935305 (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.sml10
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;