[Sbcl-commits] CVS: sbcl BUGS,1.335,1.336 CREDITS,1.40,1.41 NEWS,1.384,1.385 version.lisp-expr,1.1188,1.1189

[Christophe R. <cr...@us...>]

Update of /cvsroot/sbcl/sbcl
In directory sc8-pr-cvs1:/tmp/cvs-serv14498

Modified Files:
	BUGS CREDITS NEWS version.lisp-expr 
Log Message:
0.8.3.4:
	Slightly less bad fix for invalid-qualifiers "not an error" bug
	... when we're precomputing methods, defer the error until call 
		time;
	... document remaining badness


Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.335
retrieving revision 1.336
diff -u -d -r1.335 -r1.336
--- BUGS	26 Aug 2003 13:21:18 -0000	1.335
+++ BUGS	26 Aug 2003 16:15:57 -0000	1.336
@@ -1173,6 +1173,24 @@
             (let ((cv-ks (cv (kpd.ks pd))))
               (funcall reduce-fn d-rbds)))))
 
+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.
+
 DEFUNCT CATEGORIES OF BUGS
   IR1-#:
     These labels were used for bugs related to the old IR1 interpreter.

Index: CREDITS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/CREDITS,v
retrieving revision 1.40
retrieving revision 1.41
diff -u -d -r1.40 -r1.41
--- CREDITS	17 Aug 2003 15:29:36 -0000	1.40
+++ CREDITS	26 Aug 2003 16:15:57 -0000	1.41
@@ -596,7 +596,9 @@
   He has contributed a number of bug fixes and bug reports to SBCL.
 
 Brian Mastenbrook:
-  He contributed to the port of SBCL to MacOS X.
+  He contributed to the port of SBCL to MacOS X.  He found a way to
+  overcome binary compatibility issues between different versions of
+  dlcompat on Darwin.
 
 Dave McDonald:
   He made a lot of progress toward getting SBCL to be bootstrappable
@@ -627,12 +629,15 @@
   Debian packages of SBCL.
 
 Christophe Rhodes:
-  He ported SBCL to SPARC, made various port-related and SPARC-related
-  changes (like *BACKEND-SUBFEATURES*), made many fixes and
-  improvements in the compiler's type system, has essentially
-  completed the work to enable bootstrapping SBCL under unrelated
-  (non-SBCL, non-CMU-CL) Common Lisps, and contributed in other ways
-  as well.
+  He ported SBCL to SPARC (based on the CMUCL backend), made various
+  port-related and SPARC-related changes (like *BACKEND-SUBFEATURES*),
+  made many fixes and improvements in the compiler's type system, has
+  essentially completed the work to enable bootstrapping SBCL under
+  unrelated (non-SBCL, non-CMU-CL) Common Lisps.  He participated in
+  the modernization of SBCL's CLOS implementation, implemented the
+  treatment of compiler notes as restartable conditions, provided
+  optimizations to compiler output, and contributed in other ways as
+  well.
 
 Stig Erik Sandoe:
   He showed how to convince the GNU toolchain to build SBCL in a way

Index: NEWS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/NEWS,v
retrieving revision 1.384
retrieving revision 1.385
diff -u -d -r1.384 -r1.385
--- NEWS	26 Aug 2003 08:58:30 -0000	1.384
+++ NEWS	26 Aug 2003 16:15:57 -0000	1.385
@@ -2003,6 +2003,9 @@
 
 changes in sbcl-0.8.4 relative to sbcl-0.8.3:
   * fixed compiler performance when processing loops with a step >1;
+  * optimization: restored some effective method precomputation
+    (turned off by an ANSI fix in sbcl-0.8.3); the amount of
+    precomputation is now tunable.
 
 planned incompatible changes in 0.8.x:
   * (not done yet, but planned:) When the profiling interface settles

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.1188
retrieving revision 1.1189
diff -u -d -r1.1188 -r1.1189
--- version.lisp-expr	26 Aug 2003 13:21:18 -0000	1.1188
+++ version.lisp-expr	26 Aug 2003 16:15:57 -0000	1.1189
@@ -16,4 +16,4 @@
 ;;; with something arbitrary in the fourth field, is used for CVS
 ;;; checkins which aren't released. (And occasionally for internal
 ;;; versions, especially for internal versions off the main CVS
-"0.8.3.3"
+"0.8.3.4"