From 38507c697c6b5f277cabc5eb61afff14ea02da07 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 26 Apr 2009 09:02:17 -0400
Subject: Returning a blob as page result

---
 src/mono_util.sml | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'src/mono_util.sml')

diff --git a/src/mono_util.sml b/src/mono_util.sml
index 017b86ca..dd848ba6 100644
--- a/src/mono_util.sml
+++ b/src/mono_util.sml
@@ -247,7 +247,15 @@ fun mapfoldB {typ = fc, exp = fe, bind} =
                             S.map2 (mft t,
                                     fn t' =>
                                        (EError (e', t'), loc)))
-
+              | EReturnBlob {blob, mimeType, t} =>
+                S.bind2 (mfe ctx blob,
+                         fn blob' =>
+                            S.bind2 (mfe ctx mimeType,
+                                  fn mimeType' =>
+                                     S.map2 (mft t,
+                                          fn t' =>
+                                             (EReturnBlob {blob = blob', mimeType = mimeType', t = t'}, loc))))
+                            
               | EStrcat (e1, e2) =>
                 S.bind2 (mfe ctx e1,
                       fn e1' =>
-- 
cgit v1.2.3