comparison src/cjr_print.sml @ 493:ae03d09043c1

Add CutMulti
author Adam Chlipala <adamc@hcoop.net>
date Tue, 11 Nov 2008 19:20:37 -0500
parents 4a241d108a2c
children 162d5308e34f
comparison
equal deleted inserted replaced
492:4a241d108a2c 493:ae03d09043c1
1479 newline, 1479 newline,
1480 string "})"] 1480 string "})"]
1481 in 1481 in
1482 box [string "({", 1482 box [string "({",
1483 newline, 1483 newline,
1484 string "uw_Basis_string request = uw_Basis_strdup(ctx, ", 1484 string "uw_Basis_string request = uw_Basis_maybe_strdup(ctx, ",
1485 p_exp env e, 1485 p_exp env e,
1486 string ");", 1486 string ");",
1487 newline, 1487 newline,
1488 newline, 1488 newline,
1489 string "(request ? ", 1489 string "(request ? ",