
<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On 17.07.2012, at 20:52, David Blaikie wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div>On Tue, Jul 17, 2012 at 11:46 AM, Aaron Ballman <<a href="mailto:aaron@aaronballman.com">aaron@aaronballman.com</a>> wrote:<br><font class="Apple-style-span" color="#006312"><br></font><blockquote type="cite">Do we want to have a fatal and non-fatal<br></blockquote><blockquote type="cite">variant of the error (fatal for when no fixit is available)?<br></blockquote><br>Yes, I believe that'd be necessary. They can have different diagnostic<br>names but the same text and just one of them is non-fatal.<br></div></blockquote><br></div><div>The non-fixit and fixit diagnostics would probably have different text anyway. "Header not found" and "Header not found as written, but found if looked up as if it was written with quotes" are pretty different.</div><div><br></div><div>Sebastian</div><br></body></html>