comparison src/cjr_print.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 4bb7e1c0550a
children 43553c93dd8c
comparison
equal deleted inserted replaced
740:b302b6e35f93 741:f7e2026dd5ae
1274 string ");", 1274 string ");",
1275 newline, 1275 newline,
1276 string "tmp;", 1276 string "tmp;",
1277 newline, 1277 newline,
1278 string "})"] 1278 string "})"]
1279 | EReturnBlob {blob, mimeType, t} =>
1280 box [string "({",
1281 newline,
1282 p_typ env t,
1283 space,
1284 string "tmp;",
1285 newline,
1286 string "uw_return_blob(ctx, ",
1287 p_exp env blob,
1288 string ", ",
1289 p_exp env mimeType,
1290 string ");",
1291 newline,
1292 string "tmp;",
1293 newline,
1294 string "})"]
1279 | EApp ((EError (e, (TFun (_, ran), _)), loc), _) => 1295 | EApp ((EError (e, (TFun (_, ran), _)), loc), _) =>
1280 p_exp env (EError (e, ran), loc) 1296 p_exp env (EError (e, ran), loc)
1297 | EApp ((EReturnBlob {blob, mimeType, t = (TFun (_, ran), _)}, loc), _) =>
1298 p_exp env (EReturnBlob {blob = blob, mimeType = mimeType, t = ran}, loc)
1281 1299
1282 | EFfiApp (m, x, es) => box [string "uw_", 1300 | EFfiApp (m, x, es) => box [string "uw_",
1283 p_ident m, 1301 p_ident m,
1284 string "_", 1302 string "_",
1285 p_ident x, 1303 p_ident x,