<div class="gmail_quote">On Thu, Jun 28, 2012 at 8:09 PM, Richard Trieu <span dir="ltr"><<a href="mailto:rtrieu@google.com" target="_blank">rtrieu@google.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
A few changes to template type diffing.  Originally, the format was %diff{type is | not | }1,2 but this does not allow enough flexibility for diagnostic messages.  The new format is %diff{type is $ not $ |see type tree}1,2.  The text before the pipe is printed with a formatted type string replacing the $.  If the tree is printed, the text after pipe is used.<div>

<br></div><div>One set of diagnostics has been modified to use this.  A test case has been added which also tests the change from r159386 (keeping bold on for non-notes).  The internal manual has also been updated for this change.  After this, a large scale change will be done to the diagnostic texts.</div>

</blockquote></div><br><div>Committed at r159463 so that the conversion of diagnostic messages can move forward.</div>