[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] inside awk script check that -M/--bignum given on command
From: |
arnold |
Subject: |
Re: [bug-gawk] inside awk script check that -M/--bignum given on command line? |
Date: |
Mon, 08 Jan 2018 06:54:12 -0700 |
User-agent: |
Heirloom mailx 12.4 7/29/08 |
> OK. How's the attached?
I prefer not to have xrefs in code fragments. Mostly a personal thing.
Rather a sentence or footnote in the text.
> > > 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...
I guess I was thinking about assert.awk. I don't remember what the 2000
entry is referring to; I may at one point have had an abort statement
in a development version of the code and decided not to release it.
In any case, abort() should be pretty trivial, along the lines of
the current assert.awk.
Feel better. Get some rest instead of hacking.
Thanks,
Arnold
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, (continued)
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Jannick, 2018/01/04
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Andrew J. Schorr, 2018/01/05
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Jannick, 2018/01/05
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Andrew J. Schorr, 2018/01/05
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, arnold, 2018/01/08
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Andrew J. Schorr, 2018/01/08
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?,
arnold <=
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Andrew J. Schorr, 2018/01/08
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, arnold, 2018/01/08
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Andrew J. Schorr, 2018/01/08
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Neil R. Ormos, 2018/01/08
- [bug-gawk] abort keyword, arnold, 2018/01/08
- Re: [bug-gawk] abort keyword, Andrew J. Schorr, 2018/01/08
- Re: [bug-gawk] abort keyword, Neil R. Ormos, 2018/01/08
- Re: [bug-gawk] abort keyword, Arnold Robbins, 2018/01/11
- Re: [bug-gawk] abort keyword, Neil R. Ormos, 2018/01/12
- Re: [bug-gawk] abort keyword, Andrew J. Schorr, 2018/01/13