|
From: | Denis Shirokov |
Subject: | Re: [bug-gawk] errout: wrong source line reported |
Date: | Sun, 2 Apr 2017 00:15:44 +0300 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |