[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Making (CLASS-OF <class>) be EQ to <class>
- To: Moon@STONY-BROOK.SCRC.Symbolics.COM
- Subject: Making (CLASS-OF <class>) be EQ to <class>
- From: Jon L White <email@example.com>
- Date: Tue, 25 Sep 90 11:14:12 PDT
- Cc: firstname.lastname@example.org
- In-reply-to: David A. Moon's message of Tue, 25 Sep 1990 11:03-0400 <19900925150339.3.MOON@KENNETH-WILLIAMS.SCRC.Symbolics.COM>
Yea, there were numerous thorny issues connected to that one line of
code -- (change-class my-std-class my-std-class). Here's a high-order,
three-line summary of each one:
1. When CHANGE-CLASS is applied to a class object, shouldn't it also call
MAKE-INSTANCES-OBSOLETE on it? [PCL mail from some time ago said yes.]
Should this be as a :BEFORE method specialized to class CLASS?
2. If there are methods defined on function FOO at classes respectively
<C1, C2 ...>, then how can one temporary override the effective method
at that point, and cause it to defer to the next most specific one?
3. Have we adequately enumerated in a single place the kinds of system
definitions that user code can redefine without suffering "undefined
consequences"; e.g., are SETF function names and methods covered?
I'm especially interested in what Symbolics does for point 1.
-- JonL --