comparison 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
comparison
equal deleted inserted replaced
740:b302b6e35f93 741:f7e2026dd5ae
245 S.bind2 (mfe ctx e, 245 S.bind2 (mfe ctx e,
246 fn e' => 246 fn e' =>
247 S.map2 (mft t, 247 S.map2 (mft t,
248 fn t' => 248 fn t' =>
249 (EError (e', t'), loc))) 249 (EError (e', t'), loc)))
250 250 | EReturnBlob {blob, mimeType, t} =>
251 S.bind2 (mfe ctx blob,
252 fn blob' =>
253 S.bind2 (mfe ctx mimeType,
254 fn mimeType' =>
255 S.map2 (mft t,
256 fn t' =>
257 (EReturnBlob {blob = blob', mimeType = mimeType', t = t'}, loc))))
258
251 | EStrcat (e1, e2) => 259 | EStrcat (e1, e2) =>
252 S.bind2 (mfe ctx e1, 260 S.bind2 (mfe ctx e1,
253 fn e1' => 261 fn e1' =>
254 S.map2 (mfe ctx e2, 262 S.map2 (mfe ctx e2,
255 fn e2' => 263 fn e2' =>