Douglas Katzman | 6 Mar 04:50 2015
Picon
Picon

master: Avoid twice redefining ASSIGN-SETF-MACRO in cold-init.

The branch "master" has been updated in SBCL:
       via  9e8d4ae7471a32216de149ff7a09a6b98595bec3 (commit)
      from  c2841618c80f40d307b8daeaa270fd681bf78309 (commit)

- Log -----------------------------------------------------------------
commit 9e8d4ae7471a32216de149ff7a09a6b98595bec3
Author: Douglas Katzman <dougk <at> google.com>
Date:   Thu Mar 5 22:43:17 2015 -0500

    Avoid twice redefining ASSIGN-SETF-MACRO in cold-init.

    While on one hand, arguably the behavior should be the same for
    these two use-cases:
     - first define (SETF F), then define a SETF expander for F
     - first define a SETF expander for F, then define (SETF F)
    on the other hand, it is defensible to issue a warning when defining
    an expander if the existence of #'(SETF F) has been assumed.
    Rather than touch code in 'early-setf' to try to get new behavior,
    this explicitly defines all SETF expanders before any SETF functions,
    eliminating the dubious technique of overwriting ASSIGN-SETF-MACRO.
---
 package-data-list.lisp-expr       |    2 ++
 src/code/cold-init.lisp           |   21 ++++++++++-----------
 src/code/defboot.lisp             |   33 ++++++++++++---------------------
 src/compiler/fopcompile.lisp      |    2 +-
 src/compiler/generic/genesis.lisp |   21 ++++++++++++---------
 5 files changed, 37 insertions(+), 42 deletions(-)

diff --git a/package-data-list.lisp-expr b/package-data-list.lisp-expr
index 88242d7..f6e4cf5 100644
(Continue reading)

Douglas Katzman | 6 Mar 03:11 2015
Picon
Picon

master: Adjust obsolete comment- DEFSTRUCT accessors are ordinary DEFUNs.

The branch "master" has been updated in SBCL:
       via  c2841618c80f40d307b8daeaa270fd681bf78309 (commit)
      from  9fa801f4cbac058aa0edfb2d00172faf71b5026e (commit)

- Log -----------------------------------------------------------------
commit c2841618c80f40d307b8daeaa270fd681bf78309
Author: Douglas Katzman <dougk <at> google.com>
Date:   Thu Mar 5 21:10:28 2015 -0500

    Adjust obsolete comment- DEFSTRUCT accessors are ordinary DEFUNs.
---
 src/compiler/generic/genesis.lisp |    6 +-----
 1 files changed, 1 insertions(+), 5 deletions(-)

diff --git a/src/compiler/generic/genesis.lisp b/src/compiler/generic/genesis.lisp
index a528983..a233864 100644
--- a/src/compiler/generic/genesis.lisp
+++ b/src/compiler/generic/genesis.lisp
 <at>  <at>  -15,11 +15,7  <at>  <at> 
 ;;;; top level forms.
 ;;;;
 ;;;; (In CMU CL, and in SBCL as of 0.6.9 anyway, functions not defined
-;;;; by DEFUN aren't set up specially by GENESIS. In particular,
-;;;; structure slot accessors are not set up. Slot accessors are
-;;;; available at cold init time because they're usually compiled
-;;;; inline. They're not available as out-of-line functions until the
-;;;; toplevel forms installing them have run.)
+;;;; by DEFUN aren't set up specially by GENESIS.)

 ;;;; This software is part of the SBCL system. See the README file for
(Continue reading)

Douglas Katzman | 6 Mar 03:06 2015
Picon
Picon

master: Remove a brittle timing dependency from globaldb bootstrap.

The branch "master" has been updated in SBCL:
       via  9fa801f4cbac058aa0edfb2d00172faf71b5026e (commit)
      from  eedb29ab84fb1028ec591a87866da98a13e2a3f9 (commit)

- Log -----------------------------------------------------------------
commit 9fa801f4cbac058aa0edfb2d00172faf71b5026e
Author: Douglas Katzman <dougk <at> google.com>
Date:   Thu Mar 5 19:46:09 2015 -0500

    Remove a brittle timing dependency from globaldb bootstrap.

    The defaults for (INFO :FUNCTION {:TYPE|:WHERE-FROM} <name>) both call
    FBOUNDP, and if (SETF f) is not defined, then (FBOUNDP '(SETF f))
    calls LEGAL-FUN-NAME-OR-TYPE-ERROR, which reads *VALID-FUN-NAMES-ALIST*.
    By initializing the alist prior to cold-init, the code is safer.
---
 src/code/cold-init.lisp           |    5 +++++
 src/code/function-names.lisp      |    9 ++++++++-
 src/compiler/generic/genesis.lisp |    5 +++++
 3 files changed, 18 insertions(+), 1 deletions(-)

diff --git a/src/code/cold-init.lisp b/src/code/cold-init.lisp
index e746c50..1b0f848 100644
--- a/src/code/cold-init.lisp
+++ b/src/code/cold-init.lisp
 <at>  <at>  -131,6 +131,11  <at>  <at> 
                       *standard-output* *error-output*
                       *trace-output* *error-output*))

+  ;; Assert that FBOUNDP doesn't choke when its answer is NIL.
(Continue reading)

Douglas Katzman | 6 Mar 01:22 2015
Picon
Picon

master: Get rid of an extraneous state variable: *COLD-INIT-COMPLETE-P*

The branch "master" has been updated in SBCL:
       via  eedb29ab84fb1028ec591a87866da98a13e2a3f9 (commit)
      from  402f4ec134fb986962e8048484b154ff2e2eb338 (commit)

- Log -----------------------------------------------------------------
commit eedb29ab84fb1028ec591a87866da98a13e2a3f9
Author: Douglas Katzman <dougk <at> google.com>
Date:   Thu Mar 5 19:18:34 2015 -0500

    Get rid of an extraneous state variable: *COLD-INIT-COMPLETE-P*

    It was futile for INTERNAL-ERROR to examine this flag because the
    surrounding INFINITE-ERROR-PROTECT would halt anyway. Having removed
    one use, it became essentially redundant information.
---
 src/code/cold-init.lisp |    3 +--
 src/code/interr.lisp    |   12 ------------
 src/code/toplevel.lisp  |   23 ++++++++++++++---------
 3 files changed, 15 insertions(+), 23 deletions(-)

diff --git a/src/code/cold-init.lisp b/src/code/cold-init.lisp
index 86c2925..e746c50 100644
--- a/src/code/cold-init.lisp
+++ b/src/code/cold-init.lisp
 <at>  <at>  -296,8 +296,7  <at>  <at> 
   ;; the ANSI-specified initial value of *PACKAGE*
   (setf *package* (find-package "COMMON-LISP-USER"))

-  (/show0 "done initializing, setting *COLD-INIT-COMPLETE-P*")
-  (setf *cold-init-complete-p* t)
(Continue reading)

Douglas Katzman | 5 Mar 03:19 2015
Picon
Picon

master: Trivial aesthetic changes

The branch "master" has been updated in SBCL:
       via  402f4ec134fb986962e8048484b154ff2e2eb338 (commit)
      from  73e5e3e98064ef3ed5963e8635ebdc9b0cbda7e5 (commit)

- Log -----------------------------------------------------------------
commit 402f4ec134fb986962e8048484b154ff2e2eb338
Author: Douglas Katzman <dougk <at> google.com>
Date:   Wed Mar 4 10:30:54 2015 -0500

    Trivial aesthetic changes
---
 src/code/array.lisp               |    2 +-
 src/code/early-setf.lisp          |    2 +-
 src/compiler/generic/genesis.lisp |    4 ++--
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/code/array.lisp b/src/code/array.lisp
index 8dfa801..f1dc675 100644
--- a/src/code/array.lisp
+++ b/src/code/array.lisp
 <at>  <at>  -821,7 +821,7  <at>  <at>  of specialized arrays is supported."
 ;;; (setf aref/bit/sbit) are implemented using setf-functions,
 ;;; because they have to work with (setf (apply #'aref array subscripts))
 ;;; All other setfs can be done using setf-functions too, but I
-;;; haven't found technical advantages or disatvantages for either
+;;; haven't found technical advantages or disadvantages for either
 ;;; scheme.
 (defun (setf aref) (new-value array &rest subscripts)
   (declare (truly-dynamic-extent subscripts)
diff --git a/src/code/early-setf.lisp b/src/code/early-setf.lisp
(Continue reading)

stassats | 4 Mar 17:02 2015
Picon
Picon

master: sb-bsd-sockets: Remove recvfrom-fail test.

The branch "master" has been updated in SBCL:
       via  73e5e3e98064ef3ed5963e8635ebdc9b0cbda7e5 (commit)
      from  cac1927882e7de56eaec469bdfdb098bba114bb0 (commit)

- Log -----------------------------------------------------------------
commit 73e5e3e98064ef3ed5963e8635ebdc9b0cbda7e5
Author: Stas Boukarev <stassats <at> gmail.com>
Date:   Wed Mar 4 19:01:51 2015 +0300

    sb-bsd-sockets: Remove recvfrom-fail test.

    It's not reliable enough.
---
 contrib/sb-bsd-sockets/tests.lisp |   20 --------------------
 1 files changed, 0 insertions(+), 20 deletions(-)

diff --git a/contrib/sb-bsd-sockets/tests.lisp b/contrib/sb-bsd-sockets/tests.lisp
index 8cae6e4..08fa198 100644
--- a/contrib/sb-bsd-sockets/tests.lisp
+++ b/contrib/sb-bsd-sockets/tests.lisp
 <at>  <at>  -480,23 +480,3  <at>  <at> 

   (define-shutdown-tests :output)
   (define-shutdown-tests :io))
-
-(deftest recvfrom-fail
-  (handler-case
-      (let ((socket (make-instance 'sb-bsd-sockets:inet-socket
-                                   :type :datagram
-                                   :protocol :udp)))
(Continue reading)

Douglas Katzman | 4 Mar 14:25 2015
Picon
Picon

master: Fix test.

The branch "master" has been updated in SBCL:
       via  cac1927882e7de56eaec469bdfdb098bba114bb0 (commit)
      from  de5f5151eed5bd88d3c19999d05f4c4693c51f57 (commit)

- Log -----------------------------------------------------------------
commit cac1927882e7de56eaec469bdfdb098bba114bb0
Author: Douglas Katzman <dougk <at> google.com>
Date:   Wed Mar 4 08:24:45 2015 -0500

    Fix test.
---
 tests/deftype.impure.lisp |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/tests/deftype.impure.lisp b/tests/deftype.impure.lisp
index 3b68f98..c3e4c05 100644
--- a/tests/deftype.impure.lisp
+++ b/tests/deftype.impure.lisp
 <at>  <at>  -41,7 +41,7  <at>  <at> 

 ;; Ensure that DEFCLASS after DEFTYPE nukes the lambda-list.
 (defun get-deftype-lambda-list (symbol)
-  (let ((expander (sb-int:info :type :expander)))
+  (let ((expander (sb-int:info :type :expander symbol)))
     (and (functionp expander)
          (sb-kernel:%fun-lambda-list expander))))
 (deftype bar (x) `(integer ,x))

-----------------------------------------------------------------------

(Continue reading)

Douglas Katzman | 4 Mar 08:59 2015
Picon
Picon

master: Warn about SETF fun and macro in fewer situations.

The branch "master" has been updated in SBCL:
       via  de5f5151eed5bd88d3c19999d05f4c4693c51f57 (commit)
      from  2e79af29f0e659fca690465fe986d030e008773d (commit)

- Log -----------------------------------------------------------------
commit de5f5151eed5bd88d3c19999d05f4c4693c51f57
Author: Douglas Katzman <dougk <at> google.com>
Date:   Wed Mar 4 02:56:29 2015 -0500

    Warn about SETF fun and macro in fewer situations.

    This is an improvement because:
     - Except for redefinitions, we don't usually signal this kind
       of style-warning when loading a fasl.
     - The message incorrectly said "defining" (SETF BLUB) on seeing a
       declaration of [NOT]INLINE/FTYPE for it, even if never defined.
     - It eliminates a horrid hack from genesis.
---
 src/code/cold-init.lisp          |    9 ++-------
 src/code/defboot.lisp            |    3 +++
 src/code/early-setf.lisp         |    7 ++-----
 src/compiler/info-functions.lisp |   31 ++++++++++---------------------
 src/pcl/boot.lisp                |    4 ++++
 5 files changed, 21 insertions(+), 33 deletions(-)

diff --git a/src/code/cold-init.lisp b/src/code/cold-init.lisp
index accf570..86c2925 100644
--- a/src/code/cold-init.lisp
+++ b/src/code/cold-init.lisp
 <at>  <at>  -205,13 +205,10  <at>  <at> 
(Continue reading)

Douglas Katzman | 4 Mar 01:53 2015
Picon
Picon

master: Store DEFTYPE lambda-list the same as for any macro or SETF expander.

The branch "master" has been updated in SBCL:
       via  2e79af29f0e659fca690465fe986d030e008773d (commit)
      from  1879761676fa8ddfa39bedcc46b2dabd6b3fdb03 (commit)

- Log -----------------------------------------------------------------
commit 2e79af29f0e659fca690465fe986d030e008773d
Author: Douglas Katzman <dougk <at> google.com>
Date:   Tue Mar 3 19:49:41 2015 -0500

    Store DEFTYPE lambda-list the same as for any macro or SETF expander.
---
 contrib/sb-introspect/introspect.lisp |   20 ++++++++------------
 src/code/class.lisp                   |    1 -
 src/code/describe.lisp                |    7 +++----
 src/compiler/compiler-deftype.lisp    |    4 ++--
 src/compiler/globaldb.lisp            |    3 ++-
 tests/deftype.impure.lisp             |    8 ++++++--
 6 files changed, 21 insertions(+), 22 deletions(-)

diff --git a/contrib/sb-introspect/introspect.lisp b/contrib/sb-introspect/introspect.lisp
index 09ae5c5..f73aa03 100644
--- a/contrib/sb-introspect/introspect.lisp
+++ b/contrib/sb-introspect/introspect.lisp
 <at>  <at>  -452,18 +452,14  <at>  <at>  function designator."
 value, and a flag whether the arglist could be found as second
 value."
   (check-type typespec-operator symbol)
-  (case (sb-int:info :type :kind typespec-operator)
-    (:defined
-     (sb-int:info :type :lambda-list typespec-operator))
(Continue reading)

stassats | 3 Mar 13:16 2015
Picon
Picon

master: Fix sb-docless build.

The branch "master" has been updated in SBCL:
       via  1879761676fa8ddfa39bedcc46b2dabd6b3fdb03 (commit)
      from  12bf7d86b171c8b650be105822be531650d3ecee (commit)

- Log -----------------------------------------------------------------
commit 1879761676fa8ddfa39bedcc46b2dabd6b3fdb03
Author: Stas Boukarev <stassats <at> gmail.com>
Date:   Tue Mar 3 15:14:40 2015 +0300

    Fix sb-docless build.
---
 src/code/early-extensions.lisp |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/src/code/early-extensions.lisp b/src/code/early-extensions.lisp
index f656f54..f402db2 100644
--- a/src/code/early-extensions.lisp
+++ b/src/code/early-extensions.lisp
 <at>  <at>  -1230,6 +1230,7  <at>  <at> 
            (type list lambda-list))
   (let* ((replacements (normalize-deprecation-replacements replacements))
          (doc (print-deprecation-message name since replacements)))
+    (declare (ignorable doc))
     `(prog1
          ,(ecase state
             ((:early :late)

-----------------------------------------------------------------------

hooks/post-receive
(Continue reading)

Douglas Katzman | 3 Mar 04:41 2015
Picon
Picon

master: Some tweaks to WRITE

The branch "master" has been updated in SBCL:
       via  12bf7d86b171c8b650be105822be531650d3ecee (commit)
      from  422745141a87965e71e54b6066938f0694e4d2a9 (commit)

- Log -----------------------------------------------------------------
commit 12bf7d86b171c8b650be105822be531650d3ecee
Author: Douglas Katzman <dougk <at> google.com>
Date:   Mon Mar 2 21:48:43 2015 -0500

    Some tweaks to WRITE

    - level and length checks reference their special vars fewer times
    - prefer %READTABLE-CASE over READTABLE-CASE
    - *INTERNAL-SYMBOL-OUTPUT-FUN* is always a function
    - SETUP-PRINTER-STATE can assume valid values for *PRINT-CASE* etc
    - compiler-macro for WRITE is earlier so that "room" can see it.

    And a change to the cross-compiler so that (LOAD-TIME-VALUE #'F)
    can be fixed up before !COLD-INIT has even begun if F is defined
    soon enough; if it isn't, genesis fails in an obvious way.
---
 src/code/early-print.lisp         |   67 ++++++++++++++++++-
 src/code/print.lisp               |  127 +++++++++----------------------------
 src/code/target-thread.lisp       |    2 +-
 src/compiler/generic/genesis.lisp |    2 +
 src/compiler/main.lisp            |   12 ++++
 5 files changed, 108 insertions(+), 102 deletions(-)

diff --git a/src/code/early-print.lisp b/src/code/early-print.lisp
index 6e5aa75..4edfea8 100644
(Continue reading)


Gmane