From 3eba512008eb94393e65533966aeb21c90a231f3 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Fri, 19 Dec 2008 12:38:11 -0500
Subject: Displayed an alert dialog

---
 src/mono_util.sml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/mono_util.sml')

diff --git a/src/mono_util.sml b/src/mono_util.sml
index 2b2476e7..18b5c948 100644
--- a/src/mono_util.sml
+++ b/src/mono_util.sml
@@ -311,6 +311,10 @@ fun mapfoldB {typ = fc, exp = fe, bind} =
                         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
-- 
cgit v1.2.3