Mercurial > urweb

diff src/mono_print.sml @ 591:8f8771f32909

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Injecting a float
author Adam Chlipala <adamc@hcoop.net>
date Thu, 01 Jan 2009 15:59:02 -0500
parents 1e589a60b86f
children 330a7de47914
line wrap: on
line diff
--- a/src/mono_print.sml	Thu Jan 01 15:11:17 2009 -0500
+++ b/src/mono_print.sml	Thu Jan 01 15:59:02 2009 -0500
@@ -120,6 +120,12 @@
 
 and p_pat x = p_pat' false x
 
+fun p_mode env m =
+    case m of
+        Attribute => string "Attribute"
+      | Script => string "Script"
+      | Source t => box [string "Source", space, p_typ env t]
+
 fun p_exp' par env (e, _) =
     case e of
         EPrim p => Prim.p_t p
@@ -281,7 +287,10 @@
       | EUnurlify (e, _) => box [string "unurlify(",
                                  p_exp env e,
                                  string ")"]
-      | EJavaScript (_, e, NONE) => box [string "JavaScript(",
+      | 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