comparison src/mono_util.sml @ 1065:217eb87dde31

Basis.url and redirects
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Dec 2009 13:32:09 -0500
parents 7a4a55e05081
children b2311dfb3158
comparison
equal deleted inserted replaced
1064:b89e3d8731ed 1065:217eb87dde31
261 S.bind2 (mfe ctx mimeType, 261 S.bind2 (mfe ctx mimeType,
262 fn mimeType' => 262 fn mimeType' =>
263 S.map2 (mft t, 263 S.map2 (mft t,
264 fn t' => 264 fn t' =>
265 (EReturnBlob {blob = blob', mimeType = mimeType', t = t'}, loc)))) 265 (EReturnBlob {blob = blob', mimeType = mimeType', t = t'}, loc))))
266 | ERedirect (e, t) =>
267 S.bind2 (mfe ctx e,
268 fn e' =>
269 S.map2 (mft t,
270 fn t' =>
271 (ERedirect (e', t'), loc)))
266 272
267 | EStrcat (e1, e2) => 273 | EStrcat (e1, e2) =>
268 S.bind2 (mfe ctx e1, 274 S.bind2 (mfe ctx e1,
269 fn e1' => 275 fn e1' =>
270 S.map2 (mfe ctx e2, 276 S.map2 (mfe ctx e2,