Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?

[Andrew J. Schorr]

Hi,

On Mon, Jan 08, 2018 at 03:40:34AM -0700, address@hidden wrote:
> "Andrew J. Schorr" <address@hidden> wrote:
> 
> > On Fri, Jan 05, 2018 at 05:36:11PM +0100, Jannick wrote:
> > > I was thinking of something like the END section above. But agree, this
> > > makes the snip look a bit too complicated than needed. As an alternative -
> > > if anything at all - perhaps adding a very short note (probably in a
> > > footnote) on the exit issue with reference to chapter 7.4.10?
> >
> > I'm not convinced that this isn't basic AWK knowledge. Arnold -- do you 
> > think
> > we need a comment about this here?
> 
> A small reminder about it with a reference to 7.4.10 wouldn't hurt.

OK. How's the attached?

> > A better fix might be to add an "abort" statement to the language that
> > does not process the END section, but that's a much bigger issue...
> 
> Not needed. There is already an abort() function in the manual.
> You could mention that the checking function could instead call abort().
> The abort function should either be @include'd or named first on the
> command line via multiple -f options.

This is a head-scratcher. I can't find any reference to such a function,
except for this in doc/ChangeLog.0:

Wed Nov 22 14:57:59 2000  Arnold D. Robbins  <address@hidden>

        * gawk.texi, gawk.1, awkcard.in: Removed all documentation
          of abort.

Perhaps I'm delirious because I have the flu at the moment, but are you sure
there is already an abort() function? The only thing that seems to come close
is assert.awk...

Regards,
Andy

fpcheck.patch
Description: Text document