X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=BUGS;h=7bbd84c02f1fc181458a205e7ccde7783ecadef1;hb=0f807aea814ad6eddea7824675da1ed2ff9cba86;hp=c7e61d5e7bd0f20498ae39fefae5da9b11b8ed7e;hpb=2e6c88c99603ccff3cd6b826acc532ed44c1b994;p=sbcl.git diff --git a/BUGS b/BUGS index c7e61d5..7bbd84c 100644 --- a/BUGS +++ b/BUGS @@ -878,17 +878,6 @@ WORKAROUND: (1+ *faa*)) (faa 1d0) => type error -278: - a. - (defun foo () - (declare (optimize speed)) - (loop for i of-type (integer 0) from 0 by 2 below 10 - collect i)) - - uses generic arithmetic. - - b. (fixed in 0.8.3.6) - 279: type propagation error -- correctly inferred type goes astray? In sbcl-0.8.3 and sbcl-0.8.1.47, the warning The binding of ABS-FOO is a (VALUES (INTEGER 0 0) @@ -2102,19 +2091,15 @@ WORKAROUND: the right fix is to remove the abstraction violation in the compiler's type deriver. -390: - reported on sbcl-help by Tim Daly Jr. - - (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. +392: slot-accessor for subclass misses obsoleted superclass + (fixed in sbcl-0.9.7.9) + +393: Wrong error from methodless generic function + (DEFGENERIC FOO (X)) + (FOO 1 2) + gives NO-APPLICABLE-METHOD rather than an argument count error. + +394: (SETF CLASS-NAME)/REINITIALIZE-INSTANCE bug + (found by PFD ansi-tests) + in sbcl-0.9.7.15, (SETF (CLASS-NAME ) 'NIL) causes + (FIND-CLASS NIL) to return a #.