Mercurial > urweb

diff src/mono_print.sml @ 569:162d5308e34f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Successfully generated a page element from a signal
author Adam Chlipala <adamc@hcoop.net>
date Sat, 20 Dec 2008 16:19:26 -0500
parents 55fc747a67dc
children 57018f21cd5c
line wrap: on
line diff
--- a/src/mono_print.sml	Sat Dec 20 15:46:48 2008 -0500
+++ b/src/mono_print.sml	Sat Dec 20 16:19:26 2008 -0500
@@ -379,6 +379,10 @@
       | DDatabase s => box [string "database",
                             space,
                             string s]
+      | DJavaScript s => box [string "JavaScript(",
+                              string s,
+                              string ")"]
+
                           
 fun p_file env file =
     let