comparison src/cjr_print.sml @ 292:6e665c7c96f6

Error-parsing ints
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 12:15:46 -0400
parents df00701f2323
children 1afa94582275
comparison
equal deleted inserted replaced
291:550100a44cca 292:6e665c7c96f6
552 newline, 552 newline,
553 p_typ env t, 553 p_typ env t,
554 space, 554 space,
555 string "tmp;", 555 string "tmp;",
556 newline, 556 newline,
557 string "lw_Basis_error(ctx, ", 557 string "lw_error(ctx, FATAL, \"",
558 string (ErrorMsg.spanToString loc),
559 string ": %s\", ",
558 p_exp env e, 560 p_exp env e,
559 string ");", 561 string ");",
560 newline, 562 newline,
561 string "tmp;", 563 string "tmp;",
562 newline, 564 newline,