<div dir="ltr">On Mon, Jun 24, 2013 at 3:22 PM, Rafael Espíndola <span dir="ltr"><<a href="mailto:rafael.espindola@gmail.com" target="_blank">rafael.espindola@gmail.com</a>></span> wrote:<br><div class="gmail_extra">
<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Sean Silva suggests using something like {{{foo/bar/zed}}} to make the<br>
substitution more local.<br></blockquote><div><br></div><div style>I'm actually not sure I like this too much anymore. It's extremely cryptic. My primary concern was something like:</div><div style><br></div><div style>
CHECK: error: frobnication at foo/bar/baz</div><div style><br></div><div style>where I don't think you would want the test to just say</div><div style><br></div><div style>CHECK-PATH: foo/bar/baz</div><div style><br></div>
<div style>but rather want to check that "error: frobnication at" is there too. However, having CHECK-PATH just replace `/` with the appropriate regex would deal with this. It would lead to a slight loosening of cases like:</div>
<div style><br></div><div style>CHECK-PATH: error: division operator `/` at foo/bar/baz</div><div style><br></div><div style>would accept</div><div style><br></div><div style>CHECK-PATH: error: division operator `\\` at foo/bar/baz</div>
<div style><br></div><div style>but I think that this is not likely to be an issue in practice.</div><div style><br></div><div style>-- Sean Silva</div></div></div></div>