Mercurial > urweb

diff src/mono_util.sml @ 578:1e589a60b86f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Harmonized source-setting between server and client
author Adam Chlipala <adamc@hcoop.net>
date Tue, 30 Dec 2008 11:33:31 -0500
parents 3d56940120b1
children 330a7de47914
line wrap: on
line diff
--- a/src/mono_util.sml	Tue Dec 30 10:49:42 2008 -0500
+++ b/src/mono_util.sml	Tue Dec 30 11:33:31 2008 -0500
@@ -324,10 +324,16 @@
                         S.map2 (mft t,
                                 fn t' =>
                                    (EUnurlify (e', t'), loc)))
-              | EJavaScript (m, e) =>
+              | EJavaScript (m, e, NONE) =>
                 S.map2 (mfe ctx e,
                      fn e' =>
-                        (EJavaScript (m, e'), loc))
+                        (EJavaScript (m, e', NONE), loc))
+              | EJavaScript (m, e, SOME e2) =>
+                S.bind2 (mfe ctx e,
+                     fn e' =>
+                        S.map2 (mfe ctx e2,
+                             fn e2' =>
+                                (EJavaScript (m, e', SOME e2'), loc)))
 
               | ESignalReturn e =>
                 S.map2 (mfe ctx e,