summaryrefslogtreecommitdiff
path: root/src/mono_util.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-05-17 18:41:43 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-05-17 18:41:43 -0400
commiteaecb983d749637eaa651f641caf2136e889dfb0 (patch)
tree815d7b44e23dc823893aabf1f75ef087c0037be1 /src/mono_util.sml
parent7bbee7c3f41f0386072d0d73cd3477d0a4734ca9 (diff)
Redo Jscomp
Diffstat (limited to 'src/mono_util.sml')
-rw-r--r--src/mono_util.sml12
1 files changed, 2 insertions, 10 deletions
diff --git a/src/mono_util.sml b/src/mono_util.sml
index 83621c99..e2bed8eb 100644
--- a/src/mono_util.sml
+++ b/src/mono_util.sml
@@ -340,20 +340,12 @@ fun mapfoldB {typ = fc, exp = fe, bind} =
S.map2 (mft t,
fn t' =>
(EUnurlify (e', t'), loc)))
- | EJavaScript (m, e, NONE) =>
+ | EJavaScript (m, e) =>
S.bind2 (mfmode ctx m,
fn m' =>
S.map2 (mfe ctx e,
fn e' =>
- (EJavaScript (m', e', NONE), loc)))
- | EJavaScript (m, e, SOME e2) =>
- S.bind2 (mfmode ctx m,
- fn m' =>
- S.bind2 (mfe ctx e,
- fn e' =>
- S.map2 (mfe ctx e2,
- fn e2' =>
- (EJavaScript (m, e', SOME e2'), loc))))
+ (EJavaScript (m', e'), loc)))
| ESignalReturn e =>
S.map2 (mfe ctx e,