William Harold Newman | 2 Jul 2002 14:32
Picon

CVS: sbcl/src/compiler/generic vm-fndb.lisp,1.13,1.14 vm-tran.lisp,1.21,1.22

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

Modified Files:
	vm-fndb.lisp vm-tran.lisp 
Log Message:
0.7.5.3:
	made BUGS entry for the DEFTRANSFORM gotcha referred to below
	tweak in runtime.c, should still work the same (trying to make 80-char lines:-)
	put CSR's current diff into the main CVS since he's gone for a
		while and I want to work with it now without thinking
		about merging later...
	...BUGS entry for FILL problem
	...fixed FIXME re. %DATA-VECTOR-AND-INDEX
	...defined a DEFTRANSFORM on %DATA-VECTOR-AND-INDEX so 
		things apparently go faster now
	...(didn't define another otherwise-reasonable DEFTRANSFORM on
		%DATA-VECTOR-AND-INDEX, for non-simple VECTORs,
		because it evidently tickles a bug in the DEFTRANSFORM
		system, as reported on sbcl-devel)

Index: vm-fndb.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/compiler/generic/vm-fndb.lisp,v
retrieving revision 1.13
retrieving revision 1.14
diff -u -d -r1.13 -r1.14
--- vm-fndb.lisp	8 Jun 2002 15:01:50 -0000	1.13
+++ vm-fndb.lisp	2 Jul 2002 12:32:43 -0000	1.14
 <at>  <at>  -306,3 +306,7  <at>  <at> 
(Continue reading)

William Harold Newman | 2 Jul 2002 14:32
Picon

CVS: sbcl/src/code array.lisp,1.27,1.28 cross-misc.lisp,1.6,1.7

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

Modified Files:
	array.lisp cross-misc.lisp 
Log Message:
0.7.5.3:
	made BUGS entry for the DEFTRANSFORM gotcha referred to below
	tweak in runtime.c, should still work the same (trying to make 80-char lines:-)
	put CSR's current diff into the main CVS since he's gone for a
		while and I want to work with it now without thinking
		about merging later...
	...BUGS entry for FILL problem
	...fixed FIXME re. %DATA-VECTOR-AND-INDEX
	...defined a DEFTRANSFORM on %DATA-VECTOR-AND-INDEX so 
		things apparently go faster now
	...(didn't define another otherwise-reasonable DEFTRANSFORM on
		%DATA-VECTOR-AND-INDEX, for non-simple VECTORs,
		because it evidently tickles a bug in the DEFTRANSFORM
		system, as reported on sbcl-devel)

Index: array.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/code/array.lisp,v
retrieving revision 1.27
retrieving revision 1.28
diff -u -d -r1.27 -r1.28
--- array.lisp	26 Jun 2002 14:11:27 -0000	1.27
+++ array.lisp	2 Jul 2002 12:32:42 -0000	1.28
 <at>  <at>  -49,6 +49,11  <at>  <at> 
(Continue reading)

William Harold Newman | 2 Jul 2002 14:32
Picon

CVS: sbcl/src/compiler globaldb.lisp,1.27,1.28

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

Modified Files:
	globaldb.lisp 
Log Message:
0.7.5.3:
	made BUGS entry for the DEFTRANSFORM gotcha referred to below
	tweak in runtime.c, should still work the same (trying to make 80-char lines:-)
	put CSR's current diff into the main CVS since he's gone for a
		while and I want to work with it now without thinking
		about merging later...
	...BUGS entry for FILL problem
	...fixed FIXME re. %DATA-VECTOR-AND-INDEX
	...defined a DEFTRANSFORM on %DATA-VECTOR-AND-INDEX so 
		things apparently go faster now
	...(didn't define another otherwise-reasonable DEFTRANSFORM on
		%DATA-VECTOR-AND-INDEX, for non-simple VECTORs,
		because it evidently tickles a bug in the DEFTRANSFORM
		system, as reported on sbcl-devel)

Index: globaldb.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/compiler/globaldb.lisp,v
retrieving revision 1.27
retrieving revision 1.28
diff -u -d -r1.27 -r1.28
--- globaldb.lisp	19 May 2002 13:55:32 -0000	1.27
+++ globaldb.lisp	2 Jul 2002 12:32:43 -0000	1.28
 <at>  <at>  -837,13 +837,13  <at>  <at> 
(Continue reading)

William Harold Newman | 2 Jul 2002 14:32
Picon

CVS: sbcl BUGS,1.158,1.159 package-data-list.lisp-expr,1.163,1.164 version.lisp-expr,1.462,1.463

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

Modified Files:
	BUGS package-data-list.lisp-expr version.lisp-expr 
Log Message:
0.7.5.3:
	made BUGS entry for the DEFTRANSFORM gotcha referred to below
	tweak in runtime.c, should still work the same (trying to make 80-char lines:-)
	put CSR's current diff into the main CVS since he's gone for a
		while and I want to work with it now without thinking
		about merging later...
	...BUGS entry for FILL problem
	...fixed FIXME re. %DATA-VECTOR-AND-INDEX
	...defined a DEFTRANSFORM on %DATA-VECTOR-AND-INDEX so 
		things apparently go faster now
	...(didn't define another otherwise-reasonable DEFTRANSFORM on
		%DATA-VECTOR-AND-INDEX, for non-simple VECTORs,
		because it evidently tickles a bug in the DEFTRANSFORM
		system, as reported on sbcl-devel)

Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.158
retrieving revision 1.159
diff -u -d -r1.158 -r1.159
--- BUGS	26 Jun 2002 14:11:27 -0000	1.158
+++ BUGS	2 Jul 2002 12:32:42 -0000	1.159
 <at>  <at>  -1376,6 +1376,73  <at>  <at> 
(Continue reading)

William Harold Newman | 2 Jul 2002 14:32
Picon

CVS: sbcl/src/runtime runtime.c,1.11,1.12

Update of /cvsroot/sbcl/sbcl/src/runtime
In directory usw-pr-cvs1:/tmp/cvs-serv16552/src/runtime

Modified Files:
	runtime.c 
Log Message:
0.7.5.3:
	made BUGS entry for the DEFTRANSFORM gotcha referred to below
	tweak in runtime.c, should still work the same (trying to make 80-char lines:-)
	put CSR's current diff into the main CVS since he's gone for a
		while and I want to work with it now without thinking
		about merging later...
	...BUGS entry for FILL problem
	...fixed FIXME re. %DATA-VECTOR-AND-INDEX
	...defined a DEFTRANSFORM on %DATA-VECTOR-AND-INDEX so 
		things apparently go faster now
	...(didn't define another otherwise-reasonable DEFTRANSFORM on
		%DATA-VECTOR-AND-INDEX, for non-simple VECTORs,
		because it evidently tickles a bug in the DEFTRANSFORM
		system, as reported on sbcl-devel)

Index: runtime.c
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/runtime/runtime.c,v
retrieving revision 1.11
retrieving revision 1.12
diff -u -d -r1.11 -r1.12
--- runtime.c	13 Jun 2002 00:47:51 -0000	1.11
+++ runtime.c	2 Jul 2002 12:32:43 -0000	1.12
 <at>  <at>  -198,15 +198,19  <at>  <at> 
(Continue reading)

William Harold Newman | 5 Jul 2002 00:08
Picon

CVS: sbcl BUGS,1.159,1.160 version.lisp-expr,1.463,1.464

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

Modified Files:
	BUGS version.lisp-expr 
Log Message:
0.7.5.4:
	merged CSR's "BUG 156" patch (from sbcl-devel 2002-07-02)

Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.159
retrieving revision 1.160
diff -u -d -r1.159 -r1.160
--- BUGS	2 Jul 2002 12:32:42 -0000	1.159
+++ BUGS	4 Jul 2002 22:08:52 -0000	1.160
 <at>  <at>  -1130,13 +1130,6  <at>  <at> 
   but it has happened in more complicated cases (which I haven't
   figured out how to reproduce).

-156:
-  FUNCTION-LAMBDA-EXPRESSION doesn't work right in 0.7.0 or 0.7.2.9:
-    * (function-lambda-expression #'(lambda (x) x))
-    debugger invoked on condition of type TYPE-ERROR:
-      The value NIL is not of type SB-C::DEBUG-SOURCE
-  (reported by Alexey Dejneka sbcl-devel 2002-04-12)
-
 157:
   Functions SUBTYPEP, TYPEP, UPGRADED-ARRAY-ELEMENT-TYPE, and 
(Continue reading)

William Harold Newman | 5 Jul 2002 00:08
Picon

CVS: sbcl/src/compiler main.lisp,1.54,1.55

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

Modified Files:
	main.lisp 
Log Message:
0.7.5.4:
	merged CSR's "BUG 156" patch (from sbcl-devel 2002-07-02)

Index: main.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/compiler/main.lisp,v
retrieving revision 1.54
retrieving revision 1.55
diff -u -d -r1.54 -r1.55
--- main.lisp	30 May 2002 12:30:53 -0000	1.54
+++ main.lisp	4 Jul 2002 22:08:53 -0000	1.55
 <at>  <at>  -945,6 +945,29  <at>  <at> 
                 (gethash (leaf-info fun) entry-table)
               (aver found-p)
               result))
+	;; KLUDGE: This code duplicates some other code in this
+	;; file. In the great reorganzation, the flow of program logic
+	;; changed from the original CMUCL model, and that path (as of
+	;; sbcl-0.7.5 in SUB-COMPILE-FILE) was no longer followed for
+	;; CORE-OBJECTS, leading to BUG 156. This place is
+	;; transparently not the right one for this code, but I don't
+	;; have a clear enough overview of the compiler to know how to
+	;; rearrange it all so that this operation fits in nicely, and
+	;; it was blocking reimplementation of 
(Continue reading)

William Harold Newman | 5 Jul 2002 00:08
Picon

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

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

Modified Files:
	compiler.pure.lisp 
Log Message:
0.7.5.4:
	merged CSR's "BUG 156" patch (from sbcl-devel 2002-07-02)

Index: compiler.pure.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/tests/compiler.pure.lisp,v
retrieving revision 1.7
retrieving revision 1.8
diff -u -d -r1.7 -r1.8
--- compiler.pure.lisp	1 Jun 2002 23:53:55 -0000	1.7
+++ compiler.pure.lisp	4 Jul 2002 22:08:53 -0000	1.8
 <at>  <at>  -129,3 +129,10  <at>  <at> 
 (dotimes (i 14)
   (when (typep i '(and integer (satisfies oddp)))
     (print i)))
+
+;;; bug 156 (reported by APD sbcl-devel 2002-04-12, fixed by CSR patch
+;;; sbcl-devel 2002-07-02): FUNCTION-LAMBDA-EXPRESSION of
+;;; interactively-compiled functions was broken by sleaziness and
+;;; confusion in the assault on 0.7.0, so this expression used to
+;;; signal TYPE-ERROR when it found NIL instead of a DEBUG-SOURCE.
+(eval '(function-lambda-expression #'(lambda (x) x)))

-------------------------------------------------------
(Continue reading)

Christophe Rhodes | 5 Jul 2002 16:39
Picon

CVS: sbcl/src/compiler/generic vm-tran.lisp,1.22,1.23

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

Modified Files:
	vm-tran.lisp 
Log Message:
0.7.5.5:
	Fix bug 186 by adding a declaration to the FILL transform.
		... and write a test
		... analogous fix in the transform for HAIRY-DATA-VECTOR-SET,
			though any bug coming from there hadn't been
			detected yet.
	Greetings from Paris!

Index: vm-tran.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/compiler/generic/vm-tran.lisp,v
retrieving revision 1.22
retrieving revision 1.23
diff -u -d -r1.22 -r1.23
--- vm-tran.lisp	2 Jul 2002 12:32:43 -0000	1.22
+++ vm-tran.lisp	5 Jul 2002 14:39:51 -0000	1.23
 <at>  <at>  -88,7 +88,8  <at>  <at> 
     (let ((element-type-specifier (type-specifier element-ctype)))
       `(multiple-value-bind (array index)
 	   (%data-vector-and-index array index)
-	 (declare (type (simple-array ,element-type-specifier 1) array))
+	 (declare (type (simple-array ,element-type-specifier 1) array)
+	          (type ,element-type-specifier new-value))
 	 (data-vector-set array
(Continue reading)

Christophe Rhodes | 5 Jul 2002 16:39
Picon

CVS: sbcl/tests seq.impure.lisp,1.5,1.6

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

Modified Files:
	seq.impure.lisp 
Log Message:
0.7.5.5:
	Fix bug 186 by adding a declaration to the FILL transform.
		... and write a test
		... analogous fix in the transform for HAIRY-DATA-VECTOR-SET,
			though any bug coming from there hadn't been
			detected yet.
	Greetings from Paris!

Index: seq.impure.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/tests/seq.impure.lisp,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -d -r1.5 -r1.6
--- seq.impure.lisp	9 Jun 2002 02:30:02 -0000	1.5
+++ seq.impure.lisp	5 Jul 2002 14:39:51 -0000	1.6
 <at>  <at>  -198,5 +198,14  <at>  <at> 
   ;; fixed in sbcl-0.7.4.22 by WHN
   (assert (null (ignore-errors (subseq avec 1 5)))))

+;;; FILL
+(defun test-fill-typecheck (x)
+  (declare (optimize (safety 3) (space 2) (speed 1)))
+  (fill (make-string 10) x))
(Continue reading)


Gmane