comparison src/cjr_print.sml @ 1065:217eb87dde31

Basis.url and redirects
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Dec 2009 13:32:09 -0500
parents dcc6093e9575
children b2311dfb3158
comparison
equal deleted inserted replaced
1064:b89e3d8731ed 1065:217eb87dde31
1444 newline, 1444 newline,
1445 string "uw_return_blob(ctx, ", 1445 string "uw_return_blob(ctx, ",
1446 p_exp env blob, 1446 p_exp env blob,
1447 string ", ", 1447 string ", ",
1448 p_exp env mimeType, 1448 p_exp env mimeType,
1449 string ");",
1450 newline,
1451 string "tmp;",
1452 newline,
1453 string "})"]
1454 | ERedirect (e, t) =>
1455 box [string "({",
1456 newline,
1457 p_typ env t,
1458 space,
1459 string "tmp;",
1460 newline,
1461 string "uw_redirect(ctx, ",
1462 p_exp env e,
1449 string ");", 1463 string ");",
1450 newline, 1464 newline,
1451 string "tmp;", 1465 string "tmp;",
1452 newline, 1466 newline,
1453 string "})"] 1467 string "})"]