From e478b4d432d65b33613a601f71204fc0c656c3db 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_opt.sml | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/mono_opt.sml')

diff --git a/src/mono_opt.sml b/src/mono_opt.sml
index 6c0e6e21..7f83c003 100644
--- a/src/mono_opt.sml
+++ b/src/mono_opt.sml
@@ -360,6 +360,11 @@ fun exp e =
       | EWrite (EPrim (Prim.String ""), loc) =>
         ERecord []
 
+      | EJavaScript (EAbs (_, (TRecord [], _), _, (EFfiApp ("Basis", "alert", [s]), _)), loc) =>
+        EStrcat ((EPrim (Prim.String "alert("), loc),
+                 (EStrcat ((EFfiApp ("Basis", "jsifyString", [s]), loc),
+                           (EPrim (Prim.String ")"), loc)), loc))
+
       | _ => e
 
 and optExp e = #1 (U.Exp.map {typ = typ, exp = exp} e)
-- 
cgit v1.2.3