Re: inherited slot types (cmucl)

	[cc attempted to cmucl-imp]
* Evan Monroig <87bq1zy3nv.fsf <at> obakechan.net> :
Wrote on Wed, 18 Jun 2008 09:42:28 +0900:

| Hi all,
|
| I am writing some matrix/vector classes and functions [1], and have a
| class hierarchy as follows:

[SNIP]

|
| Error in function PCL::INTERNAL-ERROR:
|    Internal error: PCL::SPECIALIZER-APPLICABLE-USING-TYPE-P
|    cannot handle the second argument
|    (OR (CLASS #<STANDARD-CLASS VECTOR-LIKE {58827525}>)
|    (CLASS #<STANDARD-CLASS SIMPLE-MATRIX {587E647D}>)).
|
| But it is ok if I change the definition by explicitly writing the full
| AND type.

I just took a quick initial look at this:

This seems to be SBCL BUG 391 which was fixed in sbcl-0.9.7.1
(2005-11-29 by Christophe Rhodes)

,----
-  Typed slots with moderately difficult types, combined with
-  subclassing, cause the computation of effective-slot-definitions to
-  go awry.