From: Nikodemus S. <de...@us...> - 2008-12-19 15:20:56
|
Update of /cvsroot/sbcl/sbcl In directory fdv4jf1.ch3.sourceforge.com:/tmp/cvs-serv16052 Modified Files: BUGS NEWS version.lisp-expr Log Message: 1.0.23.56: special variables cause special cases in CLOS cleverness * As we cannot reliably ensure nothing calls SET or (SETF SYMBOL-VALUE) on the special variable, we need to disable optimizations perutation vector optimizations for them. * For the same reason we cannot implicitly declare types for even local specials in DEFMETHODs. * Delete bug 276: the issue it refers to was fixed back when we stopped inserting declarations for special variables. Index: BUGS =================================================================== RCS file: /cvsroot/sbcl/sbcl/BUGS,v retrieving revision 1.552 retrieving revision 1.553 diff -u -d -r1.552 -r1.553 --- BUGS 19 Dec 2008 13:46:34 -0000 1.552 +++ BUGS 19 Dec 2008 15:20:43 -0000 1.553 @@ -841,14 +841,6 @@ (fixed in 0.8.2.51, but a test case would be good) -276: - b. The same as in a., but using MULTIPLE-VALUE-SETQ instead of SETQ. - c. (defvar *faa*) - (defmethod faa ((*faa* double-float)) - (set '*faa* (when (< *faa* 0) (- *faa*))) - (1+ *faa*)) - (faa 1d0) => type error - 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) Index: NEWS =================================================================== RCS file: /cvsroot/sbcl/sbcl/NEWS,v retrieving revision 1.1443 retrieving revision 1.1444 diff -u -d -r1.1443 -r1.1444 --- NEWS 18 Dec 2008 20:39:38 -0000 1.1443 +++ NEWS 19 Dec 2008 15:20:43 -0000 1.1444 @@ -38,6 +38,10 @@ * bug fix: return values of READ-SEQUENCE did not take :START into account on file streams, regressions since 1.0.12.22. (reported by Daniel Herring, patch by Paul Huong) + * bug fix: using SET or (SETF SYMBOL-VALUE) to change the value of a + method specializer used to confuse permuation vector optimization. + * bug fix: system inserted bogus implicit type declarations for local + special variables in DEFMETHOD bodies. changes in sbcl-1.0.23 relative to 1.0.22: * enhancement: when disassembling method functions, disassembly Index: version.lisp-expr =================================================================== RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v retrieving revision 1.4220 retrieving revision 1.4221 diff -u -d -r1.4220 -r1.4221 --- version.lisp-expr 19 Dec 2008 13:46:34 -0000 1.4220 +++ version.lisp-expr 19 Dec 2008 15:20:44 -0000 1.4221 @@ -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".) -"1.0.23.55" +"1.0.23.56" |