Re: declare in with-slots

[David N Gray <Gray@DSG.csc.ti.com>]

> though, as Glenn Kramer has pointed out, the declaration is actually
> redundent because the types can be deduced from the class definition.

That assumes that you know the class of the object expression; the
compiler might know, but a macro would not.  The type lookup could be done
at either the WITH-SLOTS or SYMBOL-MACROLET level, but whichever one does
it would have to be a special form.

  -- David Gray