diff src/mono_util.sml @ 741:f7e2026dd5ae

Returning a blob as page result
author Adam Chlipala <adamc@hcoop.net>
date Sun, 26 Apr 2009 09:02:17 -0400
parents 796e42c93c48
children 8688e01ae469
line wrap: on
line diff
--- a/src/mono_util.sml	Sat Apr 25 14:47:16 2009 -0400
+++ b/src/mono_util.sml	Sun Apr 26 09:02:17 2009 -0400
@@ -247,7 +247,15 @@
                             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' =>