Re: Issue: TYPE-OF-UNDERCONSTRAINED (Version 1)

[Kim A. Barrett <IIM@ECLA.USC.EDU>]

    Date: Fri, 2 Dec 88 06:24 EST
    From: Kent M Pitman <KMP@STONY-BROOK.SCRC.Symbolics.COM>
    Subject: Issue: TYPE-OF-UNDERCONSTRAINED (Version 1)

    ... in all cases where CLASS-OF is well-defined and would return a
    class which has a proper name, then TYPE-OF should return that
    proper name -- no?  

Close, but I think the following is legitimate:

(defvar *foo* (make-array 5 :element-type t))
(class-name (class-of *foo*))  =>  SIMPLE-VECTOR
(type-of *foo*)                =>  (SIMPLE-VECTOR 5)

In other words, type-of should be permitted to return more information
than class-name on class-of.

kab
-------