diff src/mono_util.sml @ 566:a152905c3c3b

Displayed an alert dialog
author Adam Chlipala <adamc@hcoop.net>
date Fri, 19 Dec 2008 12:38:11 -0500
parents 65d8541c130b
children 1901db85acb4
line wrap: on
line diff
--- a/src/mono_util.sml	Fri Dec 19 11:47:18 2008 -0500
+++ b/src/mono_util.sml	Fri Dec 19 12:38:11 2008 -0500
@@ -311,6 +311,10 @@
                         S.map2 (mft t,
                                 fn t' =>
                                    (EUnurlify (e', t'), loc)))
+              | EJavaScript e =>
+                S.map2 (mfe ctx e,
+                     fn e' =>
+                        (EJavaScript e', loc))
     in
         mfe
     end