Steel Bank Common Lisp

Update of /cvsroot/sbcl/sbcl/src/code
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv25737/src/code

Modified Files:
	fd-stream.lisp 
Log Message:
1.0.8.8: restore reuse-sap value after incomplete writes in FROB-OUTPUT-LATER

 * Unless we do this, we leak each reusable sap that happens to hit this
   code path.

 * Thanks to David Smith.



Index: fd-stream.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/code/fd-stream.lisp,v
retrieving revision 1.116
retrieving revision 1.117
diff -u -d -r1.116 -r1.117
--- fd-stream.lisp	19 Jul 2007 12:58:59 -0000	1.116
+++ fd-stream.lisp	27 Jul 2007 12:09:10 -0000	1.117
@@ -219,7 +219,8 @@
             ((not (null count)) ; sorta worked..
              (push (list base
                          (the index (+ start count))
-                         end)
+                         end
+                         reuse-sap)
                    (fd-stream-output-later stream))))))
   (unless (fd-stream-output-later stream)
     (remove-fd-handler (fd-stream-handler stream))

Update of /cvsroot/sbcl/sbcl
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv25737

Modified Files:
	NEWS version.lisp-expr 
Log Message:
1.0.8.8: restore reuse-sap value after incomplete writes in FROB-OUTPUT-LATER

 * Unless we do this, we leak each reusable sap that happens to hit this
   code path.

 * Thanks to David Smith.



Index: NEWS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/NEWS,v
retrieving revision 1.1229
retrieving revision 1.1230
diff -u -d -r1.1229 -r1.1230
--- NEWS	27 Jul 2007 11:13:22 -0000	1.1229
+++ NEWS	27 Jul 2007 12:09:10 -0000	1.1230
@@ -2,6 +2,8 @@
 changes in sbcl-1.0.9 relative to sbcl-1.0.8:
   * bug fix: new compiler transforms for MEMBER and ASSOC were affected
     by printer control variables. (reported by Dan Corkill)
+  * bug fix: system leaked memory when delayed output was performed by
+    the OS in smaller chunks then expected. (thanks to David Smith)
 
 changes in sbcl-1.0.8 relative to sbcl-1.0.7:
   * enhancement: experimental macro SB-EXT:COMPARE-AND-SWAP provides

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.3532
retrieving revision 1.3533
diff -u -d -r1.3532 -r1.3533
--- version.lisp-expr	27 Jul 2007 11:13:22 -0000	1.3532
+++ version.lisp-expr	27 Jul 2007 12:09:10 -0000	1.3533
@@ -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.8.7"
+"1.0.8.8"

Update of /cvsroot/sbcl/sbcl
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv3297

Modified Files:
	NEWS version.lisp-expr 
Log Message:
1.0.8.7: printer-control variables affecting MEMBER & ASSOC transforms

 Reported by Dan Corkill on sbcl-devel.

 * Use WRITE-STRING on SYMBOL-NAME instead of FORMAT %A to ironclad
   the specialized function name generation.

 * Tests.



Index: NEWS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/NEWS,v
retrieving revision 1.1228
retrieving revision 1.1229
diff -u -d -r1.1228 -r1.1229
--- NEWS	19 Jul 2007 10:28:14 -0000	1.1228
+++ NEWS	27 Jul 2007 11:13:22 -0000	1.1229
@@ -1,4 +1,8 @@
 ;;;; -*- coding: utf-8; -*-
+changes in sbcl-1.0.9 relative to sbcl-1.0.8:
+  * bug fix: new compiler transforms for MEMBER and ASSOC were affected
+    by printer control variables. (reported by Dan Corkill)
+
 changes in sbcl-1.0.8 relative to sbcl-1.0.7:
   * enhancement: experimental macro SB-EXT:COMPARE-AND-SWAP provides
     atomic compare-and-swap operations on threaded platforms.

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.3531
retrieving revision 1.3532
diff -u -d -r1.3531 -r1.3532
--- version.lisp-expr	27 Jul 2007 01:58:08 -0000	1.3531
+++ version.lisp-expr	27 Jul 2007 11:13:22 -0000	1.3532
@@ -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.8.6"
+"1.0.8.7"

Update of /cvsroot/sbcl/sbcl/tests
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv3297/tests

Modified Files:
	list.pure.lisp 
Log Message:
1.0.8.7: printer-control variables affecting MEMBER & ASSOC transforms

 Reported by Dan Corkill on sbcl-devel.

 * Use WRITE-STRING on SYMBOL-NAME instead of FORMAT %A to ironclad
   the specialized function name generation.

 * Tests.



Index: list.pure.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/tests/list.pure.lisp,v
retrieving revision 1.16
retrieving revision 1.17
diff -u -d -r1.16 -r1.17
--- list.pure.lisp	19 Jul 2007 10:28:20 -0000	1.16
+++ list.pure.lisp	27 Jul 2007 11:13:22 -0000	1.17
@@ -186,15 +186,15 @@
                   (assert (equal ',expected (let ((numbers ',numbers)
                                                   (tricky ',tricky))
                                               (funcall fun ,@(cdr form)))))
-                 (assert (equal ',expected (funcall (lambda ()
-                                                      (declare (optimize speed))
-                                                      (let ((numbers ',numbers)
-                                                            (tricky ',tricky))
-                                                        ,form)))))
-                 (assert (equal ',expected (funcall (lambda ()
-                                                      (declare (optimize space))
-                                                      (let ((numbers ',numbers)
-                                                            (tricky ',tricky))
+                  (assert (equal ',expected (funcall (lambda ()
+                                                       (declare (optimize speed))
+                                                       (let ((numbers ',numbers)
+                                                             (tricky ',tricky))
+                                                         ,form)))))
+                  (assert (equal ',expected (funcall (lambda ()
+                                                       (declare (optimize space))
+                                                       (let ((numbers ',numbers)
+                                                             (tricky ',tricky))
                                                         ,form)))))))))
   (let ((fun (car (list 'assoc))))
     (test (1 a) (assoc 1 numbers))
@@ -221,3 +221,11 @@
     ;; Bug reported by Paul Dietz: ASSOC should ignore NIL elements in a
     ;; alist
     (test (nil . c) (assoc nil tricky :test #'eq))))
+
+;;; bug reported by Dan Corkill: *PRINT-CASE* affected the compiler transforms
+;;; for ASSOC & MEMBER
+(let ((*print-case* :downcase))
+  (assert (eql 2 (cdr (funcall (compile nil '(lambda (i l) (assoc i l)))
+                               :b '((:a . 1) (:b . 2))))))
+  (assert (equal '(3 4 5) (funcall (compile nil '(lambda (i l) (member i l)))
+                                   3 '(1 2 3 4 5)))))

Update of /cvsroot/sbcl/sbcl/src/compiler
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv3297/src/compiler

Modified Files:
	seqtran.lisp 
Log Message:
1.0.8.7: printer-control variables affecting MEMBER & ASSOC transforms

 Reported by Dan Corkill on sbcl-devel.

 * Use WRITE-STRING on SYMBOL-NAME instead of FORMAT %A to ironclad
   the specialized function name generation.

 * Tests.



Index: seqtran.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/compiler/seqtran.lisp,v
retrieving revision 1.76
retrieving revision 1.77
diff -u -d -r1.76 -r1.77
--- seqtran.lisp	19 Jul 2007 18:49:51 -0000	1.76
+++ seqtran.lisp	27 Jul 2007 11:13:22 -0000	1.77
@@ -291,6 +291,21 @@
             (or end length)
             (sb!impl::signal-bounding-indices-bad-error vector start end)))))
 
+(defun specialized-list-seek-function-name (function-name key-functions)
+  (or (find-symbol (with-output-to-string (s)
+                     ;; Write "%NAME-FUN1-FUN2-FUN3", etc. Not only is
+                     ;; this ever so slightly faster then FORMAT, this
+                     ;; way we are also proof against *PRINT-CASE*
+                     ;; frobbing and such.
+                     (write-char #\% s)
+                     (write-string (symbol-name function-name) s)
+                     (dolist (f key-functions)
+                       (write-char #\- s)
+                       (write-string (symbol-name f) s)))
+                   (load-time-value (find-package "SB!KERNEL")))
+      (bug "Unknown list item seek transform: name=~S, key-functions=~S"
+           function-name key-functions)))
+
 (defun transform-list-item-seek (name list key test test-not node)
   ;; Key can legally be NIL, but if it's NIL for sure we pretend it's
   ;; not there at all. If it might be NIL, make up a form to that
@@ -309,10 +324,6 @@
                    (values key '(%coerce-callable-to-fun key))))))
     (let* ((funs (remove nil (list (and key 'key) (cond (test 'test)
                                                         (test-not 'test-not)))))
-           (out-of-line (or (find-symbol (format nil "%~A~{-~A~}" name funs)
-                                         (load-time-value (find-package "SB!KERNEL")))
-                            (bug "Unknown list item seek transform: name=~S, funs=~S"
-                                 name funs)))
            (target-expr (if key '(%funcall key target) 'target))
            (test-expr (cond (test `(%funcall test item ,target-expr))
                             (test-not `(not (%funcall test-not item ,target-expr)))
@@ -344,7 +355,9 @@
                  ;; constant nil list -- nothing to find!
                  nil)
                 (t
-                 `(,out-of-line item list ,@(mapcar #'ensure-fun funs)))))))))
+                 ;; specialized out-of-line version
+                 `(,(specialized-list-seek-function-name name funs)
+                    item list ,@(mapcar #'ensure-fun funs)))))))))
 
 (deftransform member ((item list &key key test test-not) * * :node node)
   (transform-list-item-seek 'member list key test test-not node))

Update of /cvsroot/sbcl/sbcl/src/compiler
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv12126/src/compiler

Modified Files:
	meta-vmdef.lisp 
Log Message:
1.0.8.6: Fix typo in comment.


Index: meta-vmdef.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/compiler/meta-vmdef.lisp,v
retrieving revision 1.37
retrieving revision 1.38
diff -u -d -r1.37 -r1.38
--- meta-vmdef.lisp	1 Dec 2005 04:16:01 -0000	1.37
+++ meta-vmdef.lisp	27 Jul 2007 01:58:06 -0000	1.38
@@ -1590,7 +1590,7 @@
 ;;;     :OFFSET SB-Offset
 ;;;         Force the temporary to be allocated in the specified SC
 ;;;         with the specified offset. Offset is evaluated at
-;;;         macroexpand time. If Offset is emitted, the register
+;;;         macroexpand time. If Offset is omitted, the register
 ;;;         allocator chooses a free location in SC. If both SC and
 ;;;         Offset are omitted, then the temporary is packed according
 ;;;         to its primitive type.
@@ -1600,7 +1600,7 @@
 ;;;         Similar to the argument/result option, this specifies the
 ;;;         start and end of the temporaries' lives. The defaults are
 ;;;         :LOAD and :SAVE, i.e. the duration of the VOP. The other
-;;;         intervening phases are :ARGUMENT,:EVAL and :RESULT.
+;;;         intervening phases are :ARGUMENT, :EVAL and :RESULT.
 ;;;         Non-zero sub-phases can be specified by a list, e.g. by
 ;;;         default the second argument's life ends at (:ARGUMENT 1).
 ;;;

Update of /cvsroot/sbcl/sbcl
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv12126

Modified Files:
	version.lisp-expr 
Log Message:
1.0.8.6: Fix typo in comment.


Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.3530
retrieving revision 1.3531
diff -u -d -r1.3530 -r1.3531
--- version.lisp-expr	25 Jul 2007 22:21:46 -0000	1.3530
+++ version.lisp-expr	27 Jul 2007 01:58:08 -0000	1.3531
@@ -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.8.5"
+"1.0.8.6"