diff src/mono_print.sml @ 815:493f44759879

Redo Jscomp
author Adam Chlipala <adamc@hcoop.net>
date Sun, 17 May 2009 18:41:43 -0400
parents d8f58d488cfb
children 44c2c089ca15
line wrap: on
line diff
--- a/src/mono_print.sml	Sun May 17 14:36:55 2009 -0400
+++ b/src/mono_print.sml	Sun May 17 18:41:43 2009 -0400
@@ -310,13 +310,12 @@
       | EUnurlify (e, _) => box [string "unurlify(",
                                  p_exp env e,
                                  string ")"]
-      | EJavaScript (m, e, NONE) => box [string "JavaScript(",
-                                         p_mode env m,
-                                         string ",",
-                                         space,
-                                         p_exp env e,
-                                         string ")"]
-      | EJavaScript (_, _, SOME e) => p_exp env e
+      | EJavaScript (m, e) => box [string "JavaScript(",
+                                   p_mode env m,
+                                   string ",",
+                                   space,
+                                   p_exp env e,
+                                   string ")"]
 
       | ESignalReturn e => box [string "Return(",
                                 p_exp env e,