[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
- To: common-lisp-object-system@SAIL.STANFORD.EDU
- Subject: Re: Clarification
- From: David A. Moon <Moon@STONY-BROOK.SCRC.Symbolics.COM>
- Date: Thu, 5 Feb 87 00:22 EST
- In-reply-to: <870203-141235-2721@Xerox>
Date: 3 Feb 87 14:12 PST
Your "fair text" describes completely different inheritance rules. The
case in particular, as I outlined in my message on slot inheritance the
other day is:
(defclass foo ()
((a :allocation :class)))
(defclass bar (foo)
((a :initform ()))
Under the rules currently in the document, and the rules I mailed out
the other day:
instances of the class foo share a :class variable named a
instances of the class bar each have their own :instance variable a
Under the rules you propose its unclear what would happen. Perhaps
their would be two class variables, perhaps there would be one, its not
clear what would happen with :initform.
I agree with Gregor.
The rules described in the document should not be changed in substance.
I have only read them once, but they seem to match the rules which Danny
and I came up with and which I mailed out the other day.
They were intended to.