summaryrefslogtreecommitdiff
path: root/src/mono_util.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-12-10 13:32:09 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-12-10 13:32:09 -0500
commitb04e123d0e1159d431aae00c3e8f1cc4a1b95684 (patch)
tree0f8fb3c5e3f1278843704633e53f27ec20e49b06 /src/mono_util.sml
parent14163f6e6e160694eff3d409ca3cf0b8b76c4a3a (diff)
Basis.url and redirects
Diffstat (limited to 'src/mono_util.sml')
-rw-r--r--src/mono_util.sml6
1 files changed, 6 insertions, 0 deletions
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,