Bryce McKinlay writes: > Andrew Haley wrote: > > Right indeed. If we have a line number lookup of our own, and if it's > > fast enough, it can just look in the debuginfo files. > > > Yeah, there's that option too. But do we want to provide line numbers > even if debuginfo is not installed? That's an interesting question. I would argue not, because line numbers are unquestionably debuginfo. I suppose it all depends on whether you consider line numbers to be of use to people who aren't actively debugging: I don't. But I can recognize the argument that the line number table is small, so why not include it? Andrew.
