On 09/22/2013 05:24 PM, Peter Alexander wrote:
On Sunday, 22 September 2013 at 12:24:03 UTC, Timon Gehr wrote:You could also get rid of linnum by splitting the source file buffer into lines on demand and using binary search.Does that work with #line?
Well, yes. Eg. collect their locations/line number pairs into an array while lexing and then process that during line splitting.
