Mercurial > urweb

diff src/cjr_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 dcc6093e9575
children b2311dfb3158
line wrap: on
line diff
--- a/src/cjr_print.sml	Thu Dec 10 12:06:03 2009 -0500
+++ b/src/cjr_print.sml	Thu Dec 10 13:32:09 2009 -0500
@@ -1451,6 +1451,20 @@
              string "tmp;",
              newline,
              string "})"]
+      | ERedirect (e, t) =>
+        box [string "({",
+             newline,
+             p_typ env t,
+             space,
+             string "tmp;",
+             newline,
+             string "uw_redirect(ctx, ",
+             p_exp env e,
+             string ");",
+             newline,
+             string "tmp;",
+             newline,
+             string "})"]
       | EApp ((EError (e, (TFun (_, ran), _)), loc), _) =>
         p_exp env (EError (e, ran), loc)
       | EApp ((EReturnBlob {blob, mimeType, t = (TFun (_, ran), _)}, loc), _) =>