From: ts <decoux@...>
Date: 2004-10-26T19:24:33+09:00
Subject: Re: Errors in line numbers reported?

>>>>> "B" == Brian Candler <B.Candler@pobox.com> writes:

B> You get the same lack of resolution in the current system. However, if the
B> file size is 20000 lines (say), then an error in line 17 could be in line
B> 17, line 8209 or line 16401 - rather than line 15, 16 or 17.

 Sincerely do you want to look at a file which has more than 8192 lines :-)


Guy Decoux