<div dir="ltr"><div>What to do with #setline without arguments? #resetSourceLocation? Or just remove?</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">Relatedly, the core team discussed changing #setline to follow camel case as well.  As was brought up on another thread, the syntax for #setline is inconsistent with the other # directives because it doesn’t use parentheses.  The core team discussed this a bit and recommends resyntaxing #setline to:<br>#sourceLocation(file: &quot;foo&quot;, line: 42) <br>-Chris</blockquote><div> </div><div>- Anton</div></div>