Re: [Gawkextlib-users] New API

[Andrew J. S. <as...@te...>]

Hi,

On Thu, Jun 24, 2021 at 12:19:17PM -0300, Vinícius dos Santos Oliveira wrote:
> Would it be possible to add an API to gawk that allows the plugin author to
> check whether there's a certain rule in the AWK script?
...

I don't have a strong view on this, but I'm also not certain that I understand
precisely what you want. If you were to develop and share a gawk patch to
implement your desired behavior, then I think we would all understand better
and could offer an opinion on whether the patch might be accepted. You are of
course always free to build gawk with your own patches; that's the beauty of
free software.

Regards,
Andy