<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Mar 21, 2013 at 10:33 AM, Anthony Ramine <span dir="ltr"><<a href="mailto:n.oxyde@gmail.com" target="_blank">n.oxyde@gmail.com</a>></span> wrote:<br>

<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"><div id=":3l2">Maybe, but still if we want diagnostics we need to properly track<br>


macro expansions.</div></blockquote></div><br><div class="gmail_extra"><div class="gmail_quote"><div>See, it actually helps checking the code :-) Why didn't you mention that there is a new token attribute, "file"? Suddenly all makes more sense :-)</div>

<div><br></div><div style>But there is something missing (or maybe it is in the pipeline) -- the really useful part would be if the tokens produced by expanding a macro would point to the file defining it, right? </div><div style>

<br></div><div style>On the other hand, I would sometimes want to have the tokens for the non-preprocessed source (for use by the editor) and it would be extra nice if these could be produced by a single scanning. Maybe we could have special tokens for that, that are treated by other tools as whitespace? In this case, the 'end' position is crucial to have because the special macro tokens will overlap with their expansion.</div>

<div style><br></div><div style>Maybe this is a discussion better taken in a separate thread, on erlang-questions?</div><div><br></div><div>regards,<br></div><div>/Vlad </div></div></div></div></div>