FIND-CLASS 'ATOM

This is for LWM

CL-USER 21 > (find-class 'atom)

Error: ATOM is not the name of a class
   1 (continue) Try finding the class ATOM again
   2 (abort) Return to level 0.
   3 Return to top loop level 0.

Type :b for backtrace, :c <option number> to proceed,  or :? for other 
options

Is the above a bug?

CL-USER 22> (typep (vector 1 2 3) 'atom)
T


--
Marco Antoniotti					http://bioinformatics.nyu.edu
NYU Courant Bioinformatics Group		tel. +1 - 212 - 998 3488
715 Broadway 10th FL				fax. +1 - 212 - 998 3484
New York, NY, 10003, U.S.A.

Re: FIND-CLASS 'ATOM

Marco Antoniotti <marcoxa@cs.nyu.edu> writes:

> This is for LWM
> 
> CL-USER 21 > (find-class 'atom)
> 
> Error: ATOM is not the name of a class
>    1 (continue) Try finding the class ATOM again
>    2 (abort) Return to level 0.
>    3 Return to top loop level 0.
> 
> Type :b for backtrace, :c <option number> to proceed,  or :? for other
> options
> 
> 
> Is the above a bug?
> 
> CL-USER 22> (typep (vector 1 2 3) 'atom)
> T

I don't think it's a bug. ATOM isn't in the list of Figure 4.8 in
4.3.7. So there's no guarantee that it exists as a class. ATOM is
defined to be equivalent to (NOT CONS) and it would be a bit awkward
to expect classes to exist for compound type specifiers.

-- 
An amateur practices until he gets it right,
A professional practices until she can't get it wrong.

Re: FIND-CLASS 'ATOM

Ok.  I agree it is not a bug as per the CLHS.  However, I do not find 
convincing the argument about ATOM equivalence with (NOT CONS).

Anyway....

Cheers


On Saturday, Apr 17, 2004, at 17:47 America/New_York, Lieven Marchand 
wrote:

> Marco Antoniotti <marcoxa@cs.nyu.edu> writes:
>
>> This is for LWM
>>
>> CL-USER 21 > (find-class 'atom)
>>
>> Error: ATOM is not the name of a class
>>    1 (continue) Try finding the class ATOM again
>>    2 (abort) Return to level 0.
>>    3 Return to top loop level 0.
>>
>> Type :b for backtrace, :c <option number> to proceed,  or :? for other
>> options
>>
>>
>> Is the above a bug?
>>
>> CL-USER 22> (typep (vector 1 2 3) 'atom)
>> T
>
> I don't think it's a bug. ATOM isn't in the list of Figure 4.8 in
> 4.3.7. So there's no guarantee that it exists as a class. ATOM is
> defined to be equivalent to (NOT CONS) and it would be a bit awkward
> to expect classes to exist for compound type specifiers.
>
> -- 
> An amateur practices until he gets it right,
> A professional practices until she can't get it wrong.
>
--
Marco Antoniotti					http://bioinformatics.nyu.edu
NYU Courant Bioinformatics Group		tel. +1 - 212 - 998 3488
715 Broadway 10th FL				fax. +1 - 212 - 998 3484
New York, NY, 10003, U.S.A.

Re: FIND-CLASS 'ATOM

Which brings up a bug in the Hyperspec.

Section 4.3.7 is not visible in the page for 4.3.

marco




On Saturday, Apr 17, 2004, at 17:53 America/New_York, Marco Antoniotti 
wrote:

> Ok.  I agree it is not a bug as per the CLHS.  However, I do not find 
> convincing the argument about ATOM equivalence with (NOT CONS).
>
> Anyway....
>
> Cheers
>
>
> On Saturday, Apr 17, 2004, at 17:47 America/New_York, Lieven Marchand 
> wrote:
>
>> Marco Antoniotti <marcoxa@cs.nyu.edu> writes:
>>
>>> This is for LWM
>>>
>>> CL-USER 21 > (find-class 'atom)
>>>
>>> Error: ATOM is not the name of a class
>>>    1 (continue) Try finding the class ATOM again
>>>    2 (abort) Return to level 0.
>>>    3 Return to top loop level 0.
>>>
>>> Type :b for backtrace, :c <option number> to proceed,  or :? for 
>>> other
>>> options
>>>
>>>
>>> Is the above a bug?
>>>
>>> CL-USER 22> (typep (vector 1 2 3) 'atom)
>>> T
>>
>> I don't think it's a bug. ATOM isn't in the list of Figure 4.8 in
>> 4.3.7. So there's no guarantee that it exists as a class. ATOM is
>> defined to be equivalent to (NOT CONS) and it would be a bit awkward
>> to expect classes to exist for compound type specifiers.
>>
>> -- 
>> An amateur practices until he gets it right,
>> A professional practices until she can't get it wrong.
>>
> --
> Marco Antoniotti					http://bioinformatics.nyu.edu
> NYU Courant Bioinformatics Group		tel. +1 - 212 - 998 3488
> 715 Broadway 10th FL				fax. +1 - 212 - 998 3484
> New York, NY, 10003, U.S.A.
>
--
Marco Antoniotti					http://bioinformatics.nyu.edu
NYU Courant Bioinformatics Group		tel. +1 - 212 - 998 3488
715 Broadway 10th FL				fax. +1 - 212 - 998 3484
New York, NY, 10003, U.S.A.