diff src/mono_util.sml @ 815:493f44759879

Redo Jscomp
author Adam Chlipala <adamc@hcoop.net>
date Sun, 17 May 2009 18:41:43 -0400
parents d8f58d488cfb
children 7a4b026e45dd
line wrap: on
line diff
--- a/src/mono_util.sml	Sun May 17 14:36:55 2009 -0400
+++ b/src/mono_util.sml	Sun May 17 18:41:43 2009 -0400
@@ -340,20 +340,12 @@
                         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,