From: Nikodemus S. <de...@us...> - 2005-05-11 07:49:33
|
Update of /cvsroot/sbcl/sbcl In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv30659 Modified Files: BUGS NEWS version.lisp-expr Log Message: 0.9.0.27: fix bug 281, plus a tiny PCL cleanup * COMPUTE-EFFECTIVE-METHOD-COMBINATION for SHORT-METHOD-COMBINATION should not signal an error for a bogus qualifier, but merely return a form that takes care of the signalling later. * EWTF: ESETF cannot be an optimization anymore, if it ever was. Index: BUGS =================================================================== RCS file: /cvsroot/sbcl/sbcl/BUGS,v retrieving revision 1.456 retrieving revision 1.457 diff -u -d -r1.456 -r1.457 --- BUGS 25 Apr 2005 14:47:13 -0000 1.456 +++ BUGS 11 May 2005 07:49:18 -0000 1.457 @@ -919,24 +919,6 @@ (see also bug 117) -281: COMPUTE-EFFECTIVE-METHOD error signalling. - (slightly obscured by a non-0 default value for - SB-PCL::*MAX-EMF-PRECOMPUTE-METHODS*) - It would be natural for COMPUTE-EFFECTIVE-METHOD to signal errors - when it finds a method with invalid qualifiers. However, it - shouldn't signal errors when any such methods are not applicable to - the particular call being evaluated, and certainly it shouldn't when - simply precomputing effective methods that may never be called. - (setf sb-pcl::*max-emf-precompute-methods* 0) - (defgeneric foo (x) - (:method-combination +) - (:method ((x symbol)) 1) - (:method + ((x number)) x)) - (foo 1) -> ERROR, but should simply return 1 - - The issue seems to be that construction of a discriminating function - calls COMPUTE-EFFECTIVE-METHOD with methods that are not all applicable. - 283: Thread safety: libc functions There are places that we call unsafe-for-threading libc functions that we should find alternatives for, or put locks around. Known or Index: NEWS =================================================================== RCS file: /cvsroot/sbcl/sbcl/NEWS,v retrieving revision 1.782 retrieving revision 1.783 diff -u -d -r1.782 -r1.783 --- NEWS 7 May 2005 06:04:36 -0000 1.782 +++ NEWS 11 May 2005 07:49:20 -0000 1.783 @@ -3,6 +3,8 @@ target with a 64-bit host compiler. * fixed a bug in CLOSE :ABORT T: no longer attempts to remove files opened with :IF-EXISTS :OVERWRITE. + * fixed bug 281: error for an invalid qualifier in a short-form method + combination method is not signalled until the faulty method is called. * bug fix: iteration variable type inferrer failed to deal with open intervals. (reported by Alan Shields) * compiled code is not steppable if COMPILATION-SPEED >= DEBUG. Index: version.lisp-expr =================================================================== RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v retrieving revision 1.2129 retrieving revision 1.2130 diff -u -d -r1.2129 -r1.2130 --- version.lisp-expr 8 May 2005 15:55:10 -0000 1.2129 +++ version.lisp-expr 11 May 2005 07:49:21 -0000 1.2130 @@ -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.0.26" +"0.9.0.27" |