[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Some invariants
- To: Bobrow.pa@Xerox.COM
- Subject: Re: Some invariants
- From: Masinter.pa@Xerox.COM
- Date: 7 Jan 87 17:31 PST
- Cc: Common-Lisp-Object-System@SAIL.STANFORD.EDU
- In-reply-to: Danny Bobrow <Bobrow.pa>'s message of 5 Jan 87 11:29 PST
(class-of (make-instance x)) = x
is not as useful an invariant to protect. The weaker requirement, namely
(typep (make-instance x) x)
only implies (subtypep (class-of (make-instance x)) x).