comparison src/cjr_print.sml @ 1880:0354df1b6849

Remove uw_cutErrorLocation() hijinks
author Adam Chlipala <adam@chlipala.net>
date Thu, 10 Oct 2013 18:31:10 -0400
parents 16b08de04f05
children 1a04b1edded2
comparison
equal deleted inserted replaced
1879:c1ee5dec9cff 1880:0354df1b6849
1615 p_typ env t, 1615 p_typ env t,
1616 space, 1616 space,
1617 string "tmp;", 1617 string "tmp;",
1618 newline, 1618 newline,
1619 string "uw_error(ctx, FATAL, \"", 1619 string "uw_error(ctx, FATAL, \"",
1620 string (ErrorMsg.spanToString loc), 1620 string (if Settings.getDebug () then
1621 string ": %s\", ", 1621 ErrorMsg.spanToString loc ^ ": "
1622 else
1623 ""),
1624 string "%s\", ",
1622 p_exp' false false env e, 1625 p_exp' false false env e,
1623 string ");", 1626 string ");",
1624 newline, 1627 newline,
1625 string "tmp;", 1628 string "tmp;",
1626 newline, 1629 newline,
3513 3516
3514 case onError of 3517 case onError of
3515 NONE => box [] 3518 NONE => box []
3516 | SOME n => box [string "static void uw_onError(uw_context ctx, char *msg) {", 3519 | SOME n => box [string "static void uw_onError(uw_context ctx, char *msg) {",
3517 newline, 3520 newline,
3518 if Settings.getDebug () then
3519 box []
3520 else
3521 box [string "uw_cutErrorLocation(msg);",
3522 newline],
3523 if !hasJs then 3521 if !hasJs then
3524 box [string "uw_set_script_header(ctx, \"", 3522 box [string "uw_set_script_header(ctx, \"",
3525 string allScripts, 3523 string allScripts,
3526 string "\");", 3524 string "\");",
3527 newline] 3525 newline]