bug-gawk
[Top][All Lists]
Advanced

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

Re: [bug-gawk] Can a key in a array be deleted while the array is iterat


From: Andrew J. Schorr
Subject: Re: [bug-gawk] Can a key in a array be deleted while the array is iterated?
Date: Tue, 3 Jan 2017 14:49:54 -0500
User-agent: Mutt/1.5.23 (2014-03-12)

On Tue, Jan 03, 2017 at 12:28:11PM -0700, Nelson H. F. Beebe wrote:
> >> http://pubs.opengroup.org/onlinepubs/9699919799/utilities/awk.html
> >> Does anybody see italics?
> 
> I see a slanted sansserif font in my Firefox 52.0a2 bleeding-edge
> browser, as well as in the CentOS default Firefox 45.6.0-1, in the
> example in the table with column 1 having "(index) in array": both
> "index" and "array" are slanted.

That's very surprising. When I look at the page source, I see this:

<p>The <b>delete</b> statement shall remove an individual array element. Thus, 
the following code deletes an entire array:</p>

<pre>
<tt>for (index in array)
    delete array[index]
</tt>
</pre>

How is it possible for "index" or "array" to be in a different font?
You should file a bug report against Firefox! :-)

Regards,
Andy



reply via email to

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