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?
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?