William Harold Newman | 1 Jun 2002 04:34
Picon

CVS: sbcl/src/code debug.lisp,1.47,1.48

Update of /cvsroot/sbcl/sbcl/src/code
In directory usw-pr-cvs1:/tmp/cvs-serv23783/src/code

Modified Files:
	debug.lisp 
Log Message:
0.7.4.10:
	fixed dumb error in debug.lisp/0.7.4.9 modifications (spotted
		by eagle eyes of CSR)
	Since I still don't have a good fix for the bogus "error in
		constant folding" in %WITH-ARRAY-DATA-MACRO (e.g. in
		compiling src/compiler/dump.lisp)...
	...logged it as bug
	...downgraded it from full WARNING to STYLE-WARNING to make the
		bug less painful
	...removed :IGNORE-FAILURE-P from src/compiler/dump and
		src/code/cold-init entries in build-order.lisp-expr,
		since the downgrade to STYLE-WARNING makes them
		unneeded

Index: debug.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/code/debug.lisp,v
retrieving revision 1.47
retrieving revision 1.48
diff -u -d -r1.47 -r1.48
--- debug.lisp	30 May 2002 21:16:13 -0000	1.47
+++ debug.lisp	1 Jun 2002 02:34:52 -0000	1.48
 <at>  <at>  -1162,7 +1162,8  <at>  <at> 

(Continue reading)

William Harold Newman | 1 Jun 2002 04:34
Picon

CVS: sbcl/doc sbcl.1,1.15,1.16

Update of /cvsroot/sbcl/sbcl/doc
In directory usw-pr-cvs1:/tmp/cvs-serv23783/doc

Modified Files:
	sbcl.1 
Log Message:
0.7.4.10:
	fixed dumb error in debug.lisp/0.7.4.9 modifications (spotted
		by eagle eyes of CSR)
	Since I still don't have a good fix for the bogus "error in
		constant folding" in %WITH-ARRAY-DATA-MACRO (e.g. in
		compiling src/compiler/dump.lisp)...
	...logged it as bug
	...downgraded it from full WARNING to STYLE-WARNING to make the
		bug less painful
	...removed :IGNORE-FAILURE-P from src/compiler/dump and
		src/code/cold-init entries in build-order.lisp-expr,
		since the downgrade to STYLE-WARNING makes them
		unneeded

Index: sbcl.1
===================================================================
RCS file: /cvsroot/sbcl/sbcl/doc/sbcl.1,v
retrieving revision 1.15
retrieving revision 1.16
diff -u -d -r1.15 -r1.16
--- sbcl.1	14 Mar 2002 15:10:44 -0000	1.15
+++ sbcl.1	1 Jun 2002 02:34:52 -0000	1.16
 <at>  <at>  -317,10 +317,12  <at>  <at> 
 when it gets in trouble (by printing a debug prompt on *DEBUG-IO*).
(Continue reading)

William Harold Newman | 1 Jun 2002 04:34
Picon

CVS: sbcl BUGS,1.142,1.143 build-order.lisp-expr,1.13,1.14

Update of /cvsroot/sbcl/sbcl
In directory usw-pr-cvs1:/tmp/cvs-serv23783

Modified Files:
	BUGS build-order.lisp-expr 
Log Message:
0.7.4.10:
	fixed dumb error in debug.lisp/0.7.4.9 modifications (spotted
		by eagle eyes of CSR)
	Since I still don't have a good fix for the bogus "error in
		constant folding" in %WITH-ARRAY-DATA-MACRO (e.g. in
		compiling src/compiler/dump.lisp)...
	...logged it as bug
	...downgraded it from full WARNING to STYLE-WARNING to make the
		bug less painful
	...removed :IGNORE-FAILURE-P from src/compiler/dump and
		src/code/cold-init entries in build-order.lisp-expr,
		since the downgrade to STYLE-WARNING makes them
		unneeded

Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.142
retrieving revision 1.143
diff -u -d -r1.142 -r1.143
--- BUGS	30 May 2002 17:54:19 -0000	1.142
+++ BUGS	1 Jun 2002 02:34:52 -0000	1.143
 <at>  <at>  -1243,6 +1243,21  <at>  <at> 
   whereas section 3.4.4 of the CLHS doesn't allow required parameters
(Continue reading)

William Harold Newman | 1 Jun 2002 04:34
Picon

CVS: sbcl/src/compiler ir1opt.lisp,1.37,1.38 ir1util.lisp,1.39,1.40

Update of /cvsroot/sbcl/sbcl/src/compiler
In directory usw-pr-cvs1:/tmp/cvs-serv23783/src/compiler

Modified Files:
	ir1opt.lisp ir1util.lisp 
Log Message:
0.7.4.10:
	fixed dumb error in debug.lisp/0.7.4.9 modifications (spotted
		by eagle eyes of CSR)
	Since I still don't have a good fix for the bogus "error in
		constant folding" in %WITH-ARRAY-DATA-MACRO (e.g. in
		compiling src/compiler/dump.lisp)...
	...logged it as bug
	...downgraded it from full WARNING to STYLE-WARNING to make the
		bug less painful
	...removed :IGNORE-FAILURE-P from src/compiler/dump and
		src/code/cold-init entries in build-order.lisp-expr,
		since the downgrade to STYLE-WARNING makes them
		unneeded

Index: ir1opt.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/compiler/ir1opt.lisp,v
retrieving revision 1.37
retrieving revision 1.38
diff -u -d -r1.37 -r1.38
--- ir1opt.lisp	30 Apr 2002 01:23:23 -0000	1.37
+++ ir1opt.lisp	1 Jun 2002 02:34:52 -0000	1.38
 <at>  <at>  -1137,7 +1137,42  <at>  <at> 
   (let ((args (mapcar #'continuation-value (combination-args call)))
(Continue reading)

Christophe Rhodes | 1 Jun 2002 16:22
Picon

CVS: sbcl/src/compiler/generic vm-tran.lisp,1.20,1.21

Update of /cvsroot/sbcl/sbcl/src/compiler/generic
In directory usw-pr-cvs1:/tmp/cvs-serv9543/src/compiler/generic

Modified Files:
	vm-tran.lisp 
Log Message:
0.7.4.11:
	(0.7.4.10 was checked in, but version.lisp-expr wasn't updated)
	Remove apparently useless %CHECK-BOUND from transforms for
		HAIRY-DATA-VECTOR-{REF,SET}.
	... useless and wrong, as they were (a) testing for the wrong thing and
		(b) presumably being flushed.
	... the mystery deepens, though, as this improves sbcl's performance on
		the CASCOR and FIB benchmarks to near-parity with CMUCL.
		Explanations welcome.

Index: vm-tran.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/compiler/generic/vm-tran.lisp,v
retrieving revision 1.20
retrieving revision 1.21
diff -u -d -r1.20 -r1.21
--- vm-tran.lisp	3 May 2002 14:59:15 -0000	1.20
+++ vm-tran.lisp	1 Jun 2002 14:21:59 -0000	1.21
 <at>  <at>  -66,7 +66,6  <at>  <at> 
 	       (let ((array array))
 		 (declare (type (simple-array ,element-type-specifier 1)
 				array))
-		 (%check-bound array 0 index)
 		 (values array index)))
(Continue reading)

Christophe Rhodes | 1 Jun 2002 16:22
Picon

CVS: sbcl BUGS,1.143,1.144 version.lisp-expr,1.428,1.429

Update of /cvsroot/sbcl/sbcl
In directory usw-pr-cvs1:/tmp/cvs-serv9543

Modified Files:
	BUGS version.lisp-expr 
Log Message:
0.7.4.11:
	(0.7.4.10 was checked in, but version.lisp-expr wasn't updated)
	Remove apparently useless %CHECK-BOUND from transforms for
		HAIRY-DATA-VECTOR-{REF,SET}.
	... useless and wrong, as they were (a) testing for the wrong thing and
		(b) presumably being flushed.
	... the mystery deepens, though, as this improves sbcl's performance on
		the CASCOR and FIB benchmarks to near-parity with CMUCL.
		Explanations welcome.

Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.143
retrieving revision 1.144
diff -u -d -r1.143 -r1.144
--- BUGS	1 Jun 2002 02:34:52 -0000	1.143
+++ BUGS	1 Jun 2002 14:21:59 -0000	1.144
 <at>  <at>  -1258,6 +1258,29  <at>  <at> 
   code. Since then the warning has been downgraded to STYLE-WARNING, 
   so it's still a bug but at least it's a little less annoying.

+174:
+  The error message from attempting to use a #\Return format
(Continue reading)

William Harold Newman | 2 Jun 2002 01:53
Picon

CVS: sbcl version.lisp-expr,1.429,1.430

Update of /cvsroot/sbcl/sbcl
In directory usw-pr-cvs1:/tmp/cvs-serv10242

Modified Files:
	version.lisp-expr 
Log Message:
0.7.4.12:
	reminding the compiler how to compile the high-level parts of
		my Go program now that I'm not stuck in the same stupid
		low level part any more, part II (where 0.7.4.10 was
		part I): You can never have too many IGNORE-ERRORSs.

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.429
retrieving revision 1.430
diff -u -d -r1.429 -r1.430
--- version.lisp-expr	1 Jun 2002 14:21:59 -0000	1.429
+++ version.lisp-expr	1 Jun 2002 23:53:55 -0000	1.430
 <at>  <at>  -18,4 +18,4  <at>  <at> 
 ;;; for internal versions, especially for internal versions off the
 ;;; main CVS branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)

-"0.7.4.11"
+"0.7.4.12"

_______________________________________________________________

Don't miss the 2002 Sprint PCS Application Developer's Conference
(Continue reading)

William Harold Newman | 2 Jun 2002 01:53
Picon

CVS: sbcl/tests compiler.pure.lisp,1.6,1.7

Update of /cvsroot/sbcl/sbcl/tests
In directory usw-pr-cvs1:/tmp/cvs-serv10242/tests

Modified Files:
	compiler.pure.lisp 
Log Message:
0.7.4.12:
	reminding the compiler how to compile the high-level parts of
		my Go program now that I'm not stuck in the same stupid
		low level part any more, part II (where 0.7.4.10 was
		part I): You can never have too many IGNORE-ERRORSs.

Index: compiler.pure.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/tests/compiler.pure.lisp,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -d -r1.6 -r1.7
--- compiler.pure.lisp	29 May 2002 15:51:26 -0000	1.6
+++ compiler.pure.lisp	1 Jun 2002 23:53:55 -0000	1.7
 <at>  <at>  -114,3 +114,18  <at>  <at> 
     (assert (functionp fun))
     (assert (not warnings-p))
     (assert (not failure-p))))
+
+;;; a bug in 0.7.4.11
+(dolist (i '(a b 1 2 "x" "y"))
+  ;; In sbcl-0.7.4.11, the compiler tried to source-transform the
+  ;; TYPEP here but got confused and died, doing
+  ;;   (ASSOC '(AND INTEGERP (SATISFIES PLUSP)))
(Continue reading)

William Harold Newman | 2 Jun 2002 01:53
Picon

CVS: sbcl/src/code target-type.lisp,1.18,1.19

Update of /cvsroot/sbcl/sbcl/src/code
In directory usw-pr-cvs1:/tmp/cvs-serv10242/src/code

Modified Files:
	target-type.lisp 
Log Message:
0.7.4.12:
	reminding the compiler how to compile the high-level parts of
		my Go program now that I'm not stuck in the same stupid
		low level part any more, part II (where 0.7.4.10 was
		part I): You can never have too many IGNORE-ERRORSs.

Index: target-type.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/code/target-type.lisp,v
retrieving revision 1.18
retrieving revision 1.19
diff -u -d -r1.18 -r1.19
--- target-type.lisp	30 Jan 2002 19:18:29 -0000	1.18
+++ target-type.lisp	1 Jun 2002 23:53:55 -0000	1.19
 <at>  <at>  -81,7 +81,26  <at>  <at> 
 	  (let ((predicate-name (second hairy-spec)))
 	    (declare (type symbol predicate-name)) ; by ANSI spec of SATISFIES
 	    (if (fboundp predicate-name)
-		(values (not (null (funcall predicate-name obj))) t)
+		(let* (;; "Is OBJ of the SATISFIES type?" represented
+		       ;; as a generalized boolean.
+		       ;;
+		       ;; (Why IGNORE-ERRORS? This code is used to try to
+		       ;; check type relationships at compile time. 
(Continue reading)

William Harold Newman | 3 Jun 2002 20:23
Picon

CVS: sbcl/src/code target-sxhash.lisp,1.6,1.7

Update of /cvsroot/sbcl/sbcl/src/code
In directory usw-pr-cvs1:/tmp/cvs-serv26681/src/code

Modified Files:
	target-sxhash.lisp 
Log Message:
0.7.4.13:
	closed bug 68: "working as designed" (since CSR points out
		that the existence of CHANGE-CLASS makes it unsafe for
		SXHASH to hash STANDARD-OBJECTs based on class names,
		and there's no other obvious way for SXHASH to generate
		nontrivial hash values for STANDARD-OBJECTs)
	closed bug 71, since it hasn't existed for some time (DECLAIM
		OPTIMIZE SPEED works now.)

Index: target-sxhash.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/code/target-sxhash.lisp,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -d -r1.6 -r1.7
--- target-sxhash.lisp	12 Dec 2001 18:33:41 -0000	1.6
+++ target-sxhash.lisp	3 Jun 2002 18:23:56 -0000	1.7
 <at>  <at>  -145,6 +145,13  <at>  <at> 
 		    (logxor 422371266
 			    (sxhash ; through DEFTRANSFORM
 			     (class-name (layout-class (%instance-layout x)))))
+		    ;; Nice though it might be to return a nontrivial
+		    ;; hash value for other instances (especially
+		    ;; STANDARD-OBJECTs) there seems to be no good way
(Continue reading)


Gmane