diff src/mono_print.sml @ 566:a152905c3c3b

Displayed an alert dialog
author Adam Chlipala <adamc@hcoop.net>
date Fri, 19 Dec 2008 12:38:11 -0500
parents bb27c7efcd90
children 55fc747a67dc
line wrap: on
line diff
--- a/src/mono_print.sml	Fri Dec 19 11:47:18 2008 -0500
+++ b/src/mono_print.sml	Fri Dec 19 12:38:11 2008 -0500
@@ -275,6 +275,9 @@
       | EUnurlify (e, _) => box [string "unurlify(",
                                  p_exp env e,
                                  string ")"]
+      | EJavaScript e => box [string "JavaScript(",
+                              p_exp env e,
+                              string ")"]
 
 and p_exp env = p_exp' false env