Re: How to check that symbol denotes type ?

> Maybe you "should", but do you have any actual evidence that you
> /can/?

Ummm, not really.
I've been working off the CLHS definition of subtypep and
my reasoning is that if something is a recognizable subtype
of T then it should designate a type.
I've just noticed the behaviour of SBCL (and I'm assuming CMUCL
is the same) and can't quite understand why
(subtypep 'not-a-type t) would return T, T.

Cheers,
Sean.

.

Relevant Pages

  • Re: How to check that symbol denotes type ?
    ... I've been working off the CLHS definition of subtypep and ... my reasoning is that if something is a recognizable subtype ... (subtypep 'not-a-type t) ...
    (comp.lang.lisp)
  • Re: How to check that symbol denotes type ?
    ... I've been working off the CLHS definition of ... > subtypep and my reasoning is that if something is a recognizable ... Unfortunately for this theory the documentation of SUBTYPEP requires ... that the first two argumens be "type specifiers". ...
    (comp.lang.lisp)