IGNORE and friends.

["BACH::GREEK" <greek%bach.decnet@hudson.dec.com>]

If you buy that, then "ignore-if-unused" isn't in the right person, 
since it means "please, compiler, ignore this if I don't use it."  Note 
the inconsistency in person.

Thus I propose "maybe-ignore", which means "I, the programmer, may 
ignore this variable, or I may not."

Now if you think that "ignore" really means "please ignore this 
variable, Mr. compiler" then the compiler has no right to complain one 
way or the other about the variable, since you told it to ignore the 
variable.

Critical stuff.

- Paul
------