[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Name That Class



    Date: 24 Jul 87  1645 PDT
    From: Dick Gabriel <RPG@SAIL.STANFORD.EDU>

    I think we forgot to define NAME-THAT-CLASS. It should be the thing such
    that MAKE-INSTANCE + (<the thing> <name>) = (DEFCLASS NAME ...).

I thought CLASS-NAMED was SETF'able, but 87-002 doesn't say so.  Should
we change that?