---

yaml
---
r: 7027
b: refs/heads/master
c: 1e54684
h: refs/heads/master
i:
  7025: 6344592
  7023: 4619d30
v: v3

Author: catamorphism

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: b02a77d6b471fe76e8c88ea8462a5251f7744ca3
+refs/heads/master: 1e5468409310235cb13268aff78db23cd5e45609

trunk/src/comp/middle/tstate/auxiliary.rs

@@ -50,12 +50,14 @@ fn comma_str(args: [@constr_arg_use]) -> str {
 fn constraint_to_str(tcx: ty::ctxt, c: sp_constr) -> str {
     alt c.node {
       ninit(id, i) {
-        ret #fmt("init(%s id=%d [%s])",
+        ret #fmt("init(%s id=%d - arising from %s)",
                  i, id, tcx.sess.span_str(c.span));
       }
       npred(p, _, args) {
-        ret path_to_str(p) + "(" + comma_str(args) + ")" + "[" +
-                tcx.sess.span_str(c.span) + "]";
+          ret #fmt("%s(%s) - arising from %s",
+                   path_to_str(p),
+                   comma_str(args),
+                   tcx.sess.span_str(c.span));
       }
     }
 }