0.9.6.57:

	Log another bug

diff --git a/BUGS b/BUGS
index 88fe577..60107cb 100644 (file)
--- a/BUGS
+++ b/BUGS
@@ -2141,3 +2141,13 @@ WORKAROUND:
     (DIRECTORY "/tmp/[P]*.*")
   gives a type error: 
     The value "P" is not of type CHARACTER.
+
+391:
+  Typed slots with moderately difficult types, combined with
+  subclassing, cause the computation of effective-slot-definitions to
+  go awry.
+    (defclass foo () ((x :type fixnum)))
+    (defclass bar (foo) ((x :type (integer 1 5))))
+  gives an error from SB-PCL::SPECIALIZER-APPLICABLE-USING-TYPE-P.  
+  This is probably because of an inappropriate use of *SUBTYPEP in
+  COMPUTE-EFFECTIVE-SLOT-DEFINITION-INITARGS.

diff --git a/version.lisp-expr b/version.lisp-expr
index a42457a..71e7bc2 100644 (file)
--- a/version.lisp-expr
+++ b/version.lisp-expr
@@ -17,4 +17,4 @@
 ;;; checkins which aren't released. (And occasionally for internal
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"0.9.6.56"
+"0.9.6.57"