Steel Bank Common Lisp

Update of /cvsroot/sbcl/sbcl
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv9297

Modified Files:
	NEWS version.lisp-expr 
Log Message:
1.0.43.28: DESCRIBE ALWAYS-BOUND declarations for symbols

 EOM


Index: NEWS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/NEWS,v
retrieving revision 1.1827
retrieving revision 1.1828
diff -u -d -r1.1827 -r1.1828
--- NEWS	6 Oct 2010 12:48:17 -0000	1.1827
+++ NEWS	6 Oct 2010 15:50:34 -0000	1.1828
@@ -7,7 +7,7 @@
   * enhancement: default dynamic-space size can be configured at build-time
     without touching source, using the --dynamic-space-size argument to make.sh.
   * enhancement: DESCRIBE recognizes symbols naming optimization policy
-    qualities.
+    qualities, and mentions ALWAYS-BOUND declarations.
   * bug fix: compiler failed to derive the result-type of MAKE-ARRAY as
     (AND VECTOR (NOT SIMPLE-ARRAY)) when appropriate. (lp#309130)
   * bug fix: (THE (VALUES ...)) in LOAD-TIME-VALUE caused a compiler-error.

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.5054
retrieving revision 1.5055
diff -u -d -r1.5054 -r1.5055
--- version.lisp-expr	6 Oct 2010 12:48:18 -0000	1.5054
+++ version.lisp-expr	6 Oct 2010 15:50:34 -0000	1.5055
@@ -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.43.27"
+"1.0.43.28"

Update of /cvsroot/sbcl/sbcl/src/code
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv9297/src/code

Modified Files:
	describe.lisp 
Log Message:
1.0.43.28: DESCRIBE ALWAYS-BOUND declarations for symbols

 EOM


Index: describe.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/code/describe.lisp,v
retrieving revision 1.59
retrieving revision 1.60
diff -u -d -r1.59 -r1.60
--- describe.lisp	6 Oct 2010 12:48:18 -0000	1.59
+++ describe.lisp	6 Oct 2010 15:50:34 -0000	1.60
@@ -254,6 +254,8 @@
         (when (eq (info :variable :where-from symbol) :declared)
           (format stream "~@:_Declared type: ~S"
                   (type-specifier (info :variable :type symbol))))
+        (when (info :variable :always-bound symbol)
+          (format stream "~@:_Declared always-bound."))
         (cond
           ((eq kind :alien)
            (let ((info (info :variable :alien-info symbol)))

Update of /cvsroot/sbcl/sbcl/src/code
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv4825/src/code

Modified Files:
	describe.lisp 
Log Message:
1.0.43.27: DESCRIBE optimization policy qualities for symbols

 They should be in the manual too, but this is a start.


Index: describe.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/code/describe.lisp,v
retrieving revision 1.58
retrieving revision 1.59
diff -u -d -r1.58 -r1.59
--- describe.lisp	21 Dec 2009 13:12:47 -0000	1.58
+++ describe.lisp	6 Oct 2010 12:48:18 -0000	1.59
@@ -308,6 +308,17 @@
             (format stream "~@:_Expansion: ~S" (funcall fun (list symbol))))))
       (terpri stream)))
 
+  (when (or (member symbol sb-c::*policy-qualities*)
+            (assoc symbol sb-c::*policy-dependent-qualities*))
+    (pprint-logical-block (stream nil)
+      (pprint-newline :mandatory stream)
+      (pprint-indent :block 2 stream)
+      (format stream "~A names a~:[ dependent~;n~] optimization policy quality:"
+              symbol
+              (member symbol sb-c::*policy-qualities*))
+      (describe-documentation symbol 'optimize stream t))
+    (terpri stream))
+
   ;; Print out properties.
   (let ((plist (symbol-plist symbol)))
     (when plist

Update of /cvsroot/sbcl/sbcl
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv4825

Modified Files:
	NEWS version.lisp-expr 
Log Message:
1.0.43.27: DESCRIBE optimization policy qualities for symbols

 They should be in the manual too, but this is a start.


Index: NEWS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/NEWS,v
retrieving revision 1.1826
retrieving revision 1.1827
diff -u -d -r1.1826 -r1.1827
--- NEWS	5 Oct 2010 08:26:15 -0000	1.1826
+++ NEWS	6 Oct 2010 12:48:17 -0000	1.1827
@@ -6,6 +6,8 @@
     resides on.
   * enhancement: default dynamic-space size can be configured at build-time
     without touching source, using the --dynamic-space-size argument to make.sh.
+  * enhancement: DESCRIBE recognizes symbols naming optimization policy
+    qualities.
   * bug fix: compiler failed to derive the result-type of MAKE-ARRAY as
     (AND VECTOR (NOT SIMPLE-ARRAY)) when appropriate. (lp#309130)
   * bug fix: (THE (VALUES ...)) in LOAD-TIME-VALUE caused a compiler-error.
@@ -31,6 +33,7 @@
     an error for eg. STRUCTURE. (lp#458015)
   * bug fix: LOOP WITH NIL = ... signalled an unused variable style-warning.
     (lp#613871, thanks to Roman Marynchak)
+  * bug fix: more reliable &REST list type derivation, a
 
 changes in sbcl-1.0.43 relative to sbcl-1.0.42:
   * incompatible change: FD-STREAMS no longer participate in the serve-event

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.5053
retrieving revision 1.5054
diff -u -d -r1.5053 -r1.5054
--- version.lisp-expr	6 Oct 2010 08:59:32 -0000	1.5053
+++ version.lisp-expr	6 Oct 2010 12:48:18 -0000	1.5054
@@ -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.43.26"
+"1.0.43.27"

Update of /cvsroot/sbcl/sbcl/src/compiler
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv25951/src/compiler

Modified Files:
	ir1opt.lisp 
Log Message:
1.0.43.26: propagate-local-call-args for lambdas with optional-dispatches too

 Previously we elided the propagation if the lambda had an entry-fun
 or an optional-dispatch. The comment notes that we "If the function
 has an XEP, then we don't do anything".

 There are, however, lambdas with optional-dispatche that don't have
 XEPs. Doing propagation for these is required for proper &REST list
 type derivation.

 Fixes lp#655203.


Index: ir1opt.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/compiler/ir1opt.lisp,v
retrieving revision 1.139
retrieving revision 1.140
diff -u -d -r1.139 -r1.140
--- ir1opt.lisp	18 Jul 2009 17:44:42 -0000	1.139
+++ ir1opt.lisp	6 Oct 2010 08:59:32 -0000	1.140
@@ -1706,8 +1706,8 @@
 ;;; variable, we compute the union of the types across all calls and
 ;;; propagate this type information to the var's refs.
 ;;;
-;;; If the function has an XEP, then we don't do anything, since we
-;;; won't discover anything.
+;;; If the function has an entry-fun, then we don't do anything: since
+;;; it has a XEP we would not discover anything.
 ;;;
 ;;; We can clear the LVAR-REOPTIMIZE flags for arguments in all calls
 ;;; corresponding to changed arguments in CALL, since the only use in
@@ -1715,8 +1715,7 @@
 ;;; right here.
 (defun propagate-local-call-args (call fun)
   (declare (type combination call) (type clambda fun))
-  (unless (or (functional-entry-fun fun)
-              (lambda-optional-dispatch fun))
+  (unless (functional-entry-fun fun)
     (let* ((vars (lambda-vars fun))
            (union (mapcar (lambda (arg var)
                             (when (and arg

Update of /cvsroot/sbcl/sbcl/tests
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv25951/tests

Modified Files:
	compiler.pure.lisp 
Log Message:
1.0.43.26: propagate-local-call-args for lambdas with optional-dispatches too

 Previously we elided the propagation if the lambda had an entry-fun
 or an optional-dispatch. The comment notes that we "If the function
 has an XEP, then we don't do anything".

 There are, however, lambdas with optional-dispatche that don't have
 XEPs. Doing propagation for these is required for proper &REST list
 type derivation.

 Fixes lp#655203.


Index: compiler.pure.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/tests/compiler.pure.lisp,v
retrieving revision 1.235
retrieving revision 1.236
diff -u -d -r1.235 -r1.236
--- compiler.pure.lisp	4 Oct 2010 09:27:57 -0000	1.235
+++ compiler.pure.lisp	6 Oct 2010 08:59:32 -0000	1.236
@@ -2676,6 +2676,14 @@
     (assert (eq 'list type))
     (assert derivedp)))
 
+(with-test (:name :rest-list-type-derivation2)
+  (multiple-value-bind (type derivedp)
+      (funcall (funcall (compile nil `(lambda ()
+                                        (lambda (&rest args)
+                                          (ctu:compiler-derived-type args))))))
+    (assert (eq 'list type))
+    (assert derivedp)))
+
 (with-test (:name :base-char-typep-elimination)
   (assert (eq (funcall (lambda (ch)
                          (declare (type base-char ch) (optimize (speed 3) (safety 0)))

Update of /cvsroot/sbcl/sbcl
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv25951

Modified Files:
	version.lisp-expr 
Log Message:
1.0.43.26: propagate-local-call-args for lambdas with optional-dispatches too

 Previously we elided the propagation if the lambda had an entry-fun
 or an optional-dispatch. The comment notes that we "If the function
 has an XEP, then we don't do anything".

 There are, however, lambdas with optional-dispatche that don't have
 XEPs. Doing propagation for these is required for proper &REST list
 type derivation.

 Fixes lp#655203.


Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.5052
retrieving revision 1.5053
diff -u -d -r1.5052 -r1.5053
--- version.lisp-expr	5 Oct 2010 08:26:15 -0000	1.5052
+++ version.lisp-expr	6 Oct 2010 08:59:32 -0000	1.5053
@@ -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.43.25"
+"1.0.43.26"