Mercurial > urweb

diff src/mono_print.sml @ 1065:217eb87dde31

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.url and redirects
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Dec 2009 13:32:09 -0500
parents 7a4a55e05081
children b2311dfb3158
line wrap: on
line diff
--- a/src/mono_print.sml	Thu Dec 10 12:06:03 2009 -0500
+++ b/src/mono_print.sml	Thu Dec 10 13:32:09 2009 -0500
@@ -239,6 +239,14 @@
                                                 space,
                                                 p_typ env t,
                                                 string ")"]
+      | ERedirect (e, t) => box [string "(redirect",
+                                 space,
+                                 p_exp env e,
+                                 space,
+                                 string ":",
+                                 space,
+                                 p_typ env t,
+                                 string ")"]
 
       | EStrcat (e1, e2) => parenIf par (box [p_exp' true env e1,
                                               space,