[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
do_lint `delete`
|
From: |
Aaron S. Hawley |
|
Subject: |
do_lint `delete` |
|
Date: |
Mon, 15 Jul 2002 17:39:56 -0400 (EDT) |
`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]; }'
%>
--
__________________________________________
PINE 4.44 Mailer - www.washington.edu/pine
- do_lint `delete`,
Aaron S. Hawley <=