Andrew Haley wrote:
Yeah, there's that option too. But do we want to provide line numbers even if debuginfo is not installed? Given that the space cost is small, I think it would be nice. The debuginfo packages arn't widely distributed and can easily get out of sync with the real binaries.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.
Bryce