Discussion:
Is this supposed to be kosher/halal/conformant?
Antoniotti Marco
2013-04-13 17:42:08 UTC
Permalink
(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.

Cheers

--
Marco Antoniotti, Associate Professor tel. +39 - 02 64 48 79 01
DISCo, Università Milano Bicocca U14 2043 http://bimib.disco.unimib.it
Viale Sarca 336
I-20126 Milan (MI) ITALY

Please note that I am not checking my Spam-box anymore.
Please do not forward this email without asking me first.
Stas Boukarev
2013-04-13 18:02:24 UTC
Permalink
Post by Antoniotti Marco
(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.
Antoniotti Marco
2013-04-13 18:23:40 UTC
Permalink
Post by Stas Boukarev
Post by Antoniotti Marco
(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
Because I am a pro (albeit a small one) and this is a matter of inconsistencies in the spec?

Cheers

--
Marco Antoniotti, Associate Professor tel. +39 - 02 64 48 79 01
DISCo, Università Milano Bicocca U14 2043 http://bimib.disco.unimib.it
Viale Sarca 336
I-20126 Milan (MI) ITALY

Please note that I am not checking my Spam-box anymore.
Please do not forward this email without asking me first.
Stas Boukarev
2013-04-13 19:34:51 UTC
Permalink
Post by Antoniotti Marco
Post by Stas Boukarev
Post by Antoniotti Marco
(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.
Post by Antoniotti Marco
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?
--
With best regards, Stas.
Antoniotti Marco
2013-04-13 19:45:00 UTC
Permalink
On Apr 13, 2013, at 21:34 , Stas Boukarev <stassats-***@public.gmane.org<mailto:stassats-***@public.gmane.org>>
wrote:

Antoniotti Marco <antoniotti.marco-***@public.gmane.org<mailto:***@disco.unimib.it>> writes:

On Apr 13, 2013, at 20:02 , Stas Boukarev <stassats-***@public.gmane.org<mailto:stassats-***@public.gmane.org>>
wrote:

Antoniotti Marco <antoniotti.marco-***@public.gmane.org<mailto:***@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.

optvars::= [&optional {var | (var [init-form [supplied-p-parameter]])}*]

It is true that the the next section you cite clarifies that 'var' can be a destructuring list, however, the above can be confusing; at least it was to me.

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?

Well, I learned something I did not know, and it may have refreshed people' memories. Is that so bad?
I apologize for having wasted your obviously very valuable time.

Cheers

--
Marco Antoniotti, Associate Professor tel. +39 - 02 64 48 79 01
DISCo, Università Milano Bicocca U14 2043 http://bimib.disco.unimib.it
Viale Sarca 336
I-20126 Milan (MI) ITALY

Please note that I am not checking my Spam-box anymore.
Please do not forward this email without asking me first.
Matthew Mondor
2013-04-13 19:58:18 UTC
Permalink
On Sat, 13 Apr 2013 23:34:51 +0400
Post by Stas Boukarev
And yet, what? Nothing stated there contradicts the previous section.
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?
Please don't be mean. On such a low traffic mailing list, with such a
small community, I don't see what the problem is, and hostility won't
help. Saying that it's off-topic, explaining why and suggesting an
alternative list is fine, but there are tactful means to do it...
--
Matt
Loading...