Mercurial > urweb
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' =>