From b04e123d0e1159d431aae00c3e8f1cc4a1b95684 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 10 Dec 2009 13:32:09 -0500
Subject: Basis.url and redirects

---
 src/mono_util.sml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/mono_util.sml')

diff --git a/src/mono_util.sml b/src/mono_util.sml
index f8e45dc3..91b4412e 100644
--- a/src/mono_util.sml
+++ b/src/mono_util.sml
@@ -263,6 +263,12 @@ fun mapfoldB {typ = fc, exp = fe, bind} =
                                      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,
-- 
cgit v1.2.3