more conservative subtypep test for classoids
authorNikodemus Siivola <nikodemus@random-state.net>
Wed, 30 Nov 2011 10:21:05 +0000 (12:21 +0200)
committerNikodemus Siivola <nikodemus@random-state.net>
Mon, 5 Dec 2011 09:59:31 +0000 (11:59 +0200)
commitb704b22c4bea05b9e6551ef0c0a26add7a7df083
tree42cea0a1484e5623e73cda5e35f1ed4e8070f919
parent1e9b2eeb4d8d07e6282dc6a747661134ccda8f4c
more conservative subtypep test for classoids

 * Give NIL, NIL for invalid classoids with forward-referenced superclasses
   instead of signaling an error during SUBTYPEP.

 * If we can't tell it's a subtype and either has a forward-referenced
   superclass we can't tell for sure it isn't -- meaning NIL, NIL instead of
   NIL, T.

 Fixes the second half of lp#888630.
NEWS
src/code/class.lisp
src/code/typep.lisp
src/pcl/std-class.lisp
tests/type.impure.lisp