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?

Reply via email to