help-gawk
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Make division by zero legal


From: Andrew J. Schorr
Subject: Re: Make division by zero legal
Date: Tue, 3 Aug 2021 20:37:40 -0400
User-agent: Mutt/1.5.21 (2010-09-15)

On Tue, Aug 03, 2021 at 06:19:09PM +0000, Carl Friedberg wrote:
> (I am a lurker on the gawk-bug list; and this is my first posting on 
> help-gawk)
> 
> I have been following this discussion, and I agree with the view of Neil 
> Ormos. There are ways to deal with divide by 0 if you don't want the default 
> behavior; please don't change something that is so embedded in GAWK.
> 
> My 2 cents, in case anyone is counting 

The -M behavior will be changed to match the regular behavior -- it will throw
a fatal error on division by zero.  Do you object to that change? It seems
undesirable to have inconsistent behavior with -M.

Regards,
Andy



reply via email to

[Prev in Thread] Current Thread [Next in Thread]