Is this supposed to be kosher/halal/conformant?

[Stas Boukarev]

Antoniotti Marco <antoniotti.marco at 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

And why is this in pro@?

-- 
With best regards, Stas.