user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Consolidate formatting functions a bit more.

Browse source
This commit is contained in:
Graydon Hoare 2011-05-31 10:58:30 -07:00
parent 55e3cd41de
commit b6971d94df
7 changed files with 132 additions and 209 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/comp/middle/tstate/ck.rs
View file

@ -55,7 +55,7 @@ import aux::fixed_point_states;
import aux::bitv_to_str;
import aux::first_difference_string;
import util::common::ty_to_str;
import pretty::pprust::ty_to_str;
import util::common::log_stmt_err;
import aux::log_bitv_err;
import bitvectors::promises;
@ -74,7 +74,7 @@ fn check_states_expr(&fn_ctxt fcx, @expr e) -> () {
auto diff = first_difference_string(fcx, prec, pres);
s += ("Unsatisfied precondition constraint (for example, "
+ diff + ") for expression:\n");
s += util::common::expr_to_str(e);
s += pretty::pprust::expr_to_str(e);
s += ("\nPrecondition:\n");
s += bitv_to_str(fcx, prec);
s += ("\nPrestate:\n");
@ -102,7 +102,7 @@ fn check_states_stmt(&fn_ctxt fcx, &stmt s) -> () {
auto diff = first_difference_string(fcx, prec, pres);
ss += ("Unsatisfied precondition constraint (for example, "
+ diff + ") for statement:\n");
ss += util::common::stmt_to_str(s);
ss += pretty::pprust::stmt_to_str(s);
ss += ("\nPrecondition:\n");
ss += bitv_to_str(fcx, prec);
ss += ("\nPrestate: \n");