Mercurial > urweb

diff src/mono_util.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_util.sml	Thu Dec 10 12:06:03 2009 -0500
+++ b/src/mono_util.sml	Thu Dec 10 13:32:09 2009 -0500
@@ -263,6 +263,12 @@
                                      S.map2 (mft t,
                                           fn t' =>
                                              (EReturnBlob {blob = blob', mimeType = mimeType', t = t'}, loc))))
+              | ERedirect (e, t) =>
+                S.bind2 (mfe ctx e,
+                         fn e' =>
+                            S.map2 (mft t,
+                                    fn t' =>
+                                       (ERedirect (e', t'), loc)))
                             
               | EStrcat (e1, e2) =>
                 S.bind2 (mfe ctx e1,