[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] errout: wrong source line reported
|
From: |
Andrew J. Schorr |
|
Subject: |
Re: [bug-gawk] errout: wrong source line reported |
|
Date: |
Sat, 1 Apr 2017 17:14:44 -0400 |
|
User-agent: |
Mutt/1.5.21 (2010-09-15) |
Are you having trouble finding the bug? :-)
Probably just some weirdness in the YACC parsing
related to comments and/or white space. Does it actually
matter?
On Sat, Apr 01, 2017 at 11:22:48PM +0300, Denis Shirokov wrote:
> hello
>
> (please see screenshot attached)
>
> there is two examples of how we can reproduce the issue.
> at the left part of the screen you may see the gawk source, at the
> right part of the screen - it's error output.
>
> it's seems like the gawk reporting wrong source line error
>
> kind regards
> Denis Shirokov