Re: do_lint `delete`

[Aharon Robbins]

> Date: Mon, 15 Jul 2002 17:39:56 -0400 (EDT)
> From: "Aaron S. Hawley" <address@hidden>
> To: address@hidden
> Subject: do_lint `delete`
>
> `delete foo[iggy]' should probably be caught by --lint
> (line 528 of awkgram.y)
>
> %>gawk --lint 'BEGIN { delete array; }'
> dgawk: cmd. line:1: warning: `delete array' is a gawk extension
> %>gawk --lint 'BEGIN { delete array[1]; }'
> %>

What is the error that --lint should catch?  It is not an
error to delete an element that isn't there.  If you think
it ought to be a warning, there might be room to discuss that.

Arnold