Antoniotti Marco <antoniotti.marco@disco.unimib.it> writes:

On Apr 13, 2013, at 20:02 , Stas Boukarev <stassats@gmail.com>
wrote:

Antoniotti Marco <antoniotti.marco@disco.unimib.it> writes:

(defmacro foo (n &optional ((s &key d f) '(42222 :f 33)))
  `(list ,f ,n ,s ,d))


it appears to work on SBCL, CCL and LW (just changed a few things and do not have an Allegro running)

It is nice, but I believe that the CLHS says otherwise.

What do you mean, CLHS says otherwise?
See
http://www.lispworks.com/reference/HyperSpec/Body/03_ddab.htm

Good catch.

And yet...

http://www.lispworks.com/documentation/HyperSpec/Body/03_dd.htm

And yet, what? Nothing stated there contradicts the previous section.

And why is this in pro@?

Because I am a pro (albeit a small one) and this is a matter of inconsistencies in the spec?

It would appear to me that questions, which could be resolved by careful
reading of the spec, are out of scope of this mailing list, but what do I
know?