Douglas Katzman | 25 Aug 05:14 2014
Picon
Picon

master: Dxify the lambda in PRINT-UNREADABLE-OBJECT

The branch "master" has been updated in SBCL:
       via  82e75708c947be3ae4e7884241526ba9c81840f6 (commit)
      from  6a06ccae29763bedd1812117ecb5ae5fe36dbf2a (commit)

- Log -----------------------------------------------------------------
commit 82e75708c947be3ae4e7884241526ba9c81840f6
Author: Douglas Katzman <dougk <at> google.com>
Date:   Sun Aug 24 23:11:25 2014 -0400

    Dxify the lambda in PRINT-UNREADABLE-OBJECT
---
 src/code/macros.lisp |   13 +++++++++----
 src/code/print.lisp  |    2 +-
 2 files changed, 10 insertions(+), 5 deletions(-)

diff --git a/src/code/macros.lisp b/src/code/macros.lisp
index e95ba80..47070bf 100644
--- a/src/code/macros.lisp
+++ b/src/code/macros.lisp
 <at>  <at>  -521,16 +521,21  <at>  <at>  invoked. In that case it will store into PLACE and start over."
      , <at> (mapcar (lambda (spec) `(sb!xc:proclaim ',spec))
                specs)))

+;; Avoid unknown return values in emitted code for PRINT-UNREADABLE-OBJECT
+(declaim (ftype (sfunction (t t t t &optional t) null)
+                %print-unreadable-object))
 (defmacro-mundanely print-unreadable-object ((object stream &key type identity)
                                              &body body)
   #!+sb-doc
   "Output OBJECT to STREAM with \"#<\" prefix, \">\" suffix, optionally
(Continue reading)

Douglas Katzman | 23 Aug 18:41 2014
Picon
Picon

master: Make package-data-list accept featureized sublists everywhere.

The branch "master" has been updated in SBCL:
       via  6a06ccae29763bedd1812117ecb5ae5fe36dbf2a (commit)
      from  4484b239452c123ac3392431606299e3f8ecfaaf (commit)

- Log -----------------------------------------------------------------
commit 6a06ccae29763bedd1812117ecb5ae5fe36dbf2a
Author: Douglas Katzman <dougk <at> google.com>
Date:   Sat Aug 23 12:28:55 2014 -0400

    Make package-data-list accept featureized sublists everywhere.
---
 package-data-list.lisp-expr        |  144 ++++++++++++++++++------------------
 src/cold/set-up-cold-packages.lisp |   24 ++----
 2 files changed, 81 insertions(+), 87 deletions(-)

diff --git a/package-data-list.lisp-expr b/package-data-list.lisp-expr
index 531d215..472a154 100644
--- a/package-data-list.lisp-expr
+++ b/package-data-list.lisp-expr
 <at>  <at>  -685,18 +685,18  <at>  <at>  like *STACK-TOP-HINT* and unsupported stuff like *TRACED-FUN-LIST*."
                ;; package extensions
                ;;
                ;; locks
-               #!+sb-package-locks "PACKAGE-LOCKED-P"
-               #!+sb-package-locks "LOCK-PACKAGE"
-               #!+sb-package-locks "UNLOCK-PACKAGE"
-               #!+sb-package-locks "PACKAGE-IMPLEMENTED-BY-LIST"
-               #!+sb-package-locks "PACKAGE-IMPLEMENTS-LIST"
-               #!+sb-package-locks "ADD-IMPLEMENTATION-PACKAGE"
-               #!+sb-package-locks "REMOVE-IMPLEMENTATION-PACKAGE"
(Continue reading)

Douglas Katzman | 23 Aug 16:00 2014
Picon
Picon

master: WITHOUT-PACKAGE-LOCKS needn't be re-invented in sb-gmp

The branch "master" has been updated in SBCL:
       via  4484b239452c123ac3392431606299e3f8ecfaaf (commit)
      from  b2c3e22ed250a50be63633a8b8f95cb253529581 (commit)

- Log -----------------------------------------------------------------
commit 4484b239452c123ac3392431606299e3f8ecfaaf
Author: Douglas Katzman <dougk <at> google.com>
Date:   Sat Aug 23 09:58:03 2014 -0400

    WITHOUT-PACKAGE-LOCKS needn't be re-invented in sb-gmp
---
 contrib/sb-gmp/gmp.lisp |   11 ++---------
 1 files changed, 2 insertions(+), 9 deletions(-)

diff --git a/contrib/sb-gmp/gmp.lisp b/contrib/sb-gmp/gmp.lisp
index 2de075e..f657ec9 100644
--- a/contrib/sb-gmp/gmp.lisp
+++ b/contrib/sb-gmp/gmp.lisp
 <at>  <at>  -927,15 +927,8  <at>  <at>  pre-allocated bignum. The allocated bignum-length must be (1+ COUNT)."
             (mpz-pow base power))))))

 ;;; installation
-(defmacro with-package-locks-ignored (&body body)
-  `(handler-bind ((sb-ext:package-lock-violation
-                    (lambda (condition)
-                      (declare (ignore condition))
-                      (invoke-restart :ignore-all))))
-     , <at> body))
-
 (defun install-gmp-funs ()
(Continue reading)

Douglas Katzman | 23 Aug 05:01 2014
Picon
Picon

master: Remove some imports

The branch "master" has been updated in SBCL:
       via  b2c3e22ed250a50be63633a8b8f95cb253529581 (commit)
      from  7b2f5c99f662d2a61cca0207f4b891b25f6e1dba (commit)

- Log -----------------------------------------------------------------
commit b2c3e22ed250a50be63633a8b8f95cb253529581
Author: Douglas Katzman <dougk <at> google.com>
Date:   Fri Aug 22 23:00:16 2014 -0400

    Remove some imports
---
 package-data-list.lisp-expr |    1 -
 src/code/pprint.lisp        |    2 +-
 2 files changed, 1 insertions(+), 2 deletions(-)

diff --git a/package-data-list.lisp-expr b/package-data-list.lisp-expr
index e3b0faf..531d215 100644
--- a/package-data-list.lisp-expr
+++ b/package-data-list.lisp-expr
 <at>  <at>  -2413,7 +2413,6  <at>  <at>  package is deprecated in favour of SB-MOP."
       :name "SB!PRETTY"
       :doc "private: implementation of pretty-printing"
       :use ("CL" "SB!EXT" "SB!INT" "SB!KERNEL")
-      :import-from (("SB!IMPL" "COMMA" "COMMA-KIND" "COMMA-EXPR"))
       :export ("OUTPUT-PRETTY-OBJECT"
                "PRETTY-STREAM" "PRETTY-STREAM-P"
                "PPRINT-DISPATCH-TABLE"
diff --git a/src/code/pprint.lisp b/src/code/pprint.lisp
index 10b4183..68dbe26 100644
--- a/src/code/pprint.lisp
(Continue reading)

Douglas Katzman | 23 Aug 04:44 2014
Picon
Picon

master: Delete MOBY-UNINTERN, a holdover from CMUCL

The branch "master" has been updated in SBCL:
       via  7b2f5c99f662d2a61cca0207f4b891b25f6e1dba (commit)
      from  d7be200b3dfb40ae18a52886a5a82107445adef7 (commit)

- Log -----------------------------------------------------------------
commit 7b2f5c99f662d2a61cca0207f4b891b25f6e1dba
Author: Douglas Katzman <dougk <at> google.com>
Date:   Fri Aug 22 22:42:11 2014 -0400

    Delete MOBY-UNINTERN, a holdover from CMUCL
---
 src/code/target-package.lisp |   18 ------------------
 1 files changed, 0 insertions(+), 18 deletions(-)

diff --git a/src/code/target-package.lisp b/src/code/target-package.lisp
index 30d2648..df1b63d 100644
--- a/src/code/target-package.lisp
+++ b/src/code/target-package.lisp
 <at>  <at>  -1268,24 +1268,6  <at>  <at>  uninterned."
   (mapcar #'string (if (listp thing)
                        thing
                        (list thing))))
-
-;;; This is like UNINTERN, except if SYMBOL is inherited, it chases
-;;; down the package it is inherited from and uninterns it there. Used
-;;; for name-conflict resolution. Shadowing symbols are not uninterned
-;;; since they do not cause conflicts.
-(defun moby-unintern (symbol package)
-  (unless (member symbol (package-%shadowing-symbols package))
-    (or (unintern symbol package)
(Continue reading)

Douglas Katzman | 23 Aug 04:29 2014
Picon
Picon

master: Improve the dumping of package tables during genesis.

The branch "master" has been updated in SBCL:
       via  d7be200b3dfb40ae18a52886a5a82107445adef7 (commit)
      from  a77dc09fa140397b4e5d0b717a43eb2f5780c477 (commit)

- Log -----------------------------------------------------------------
commit d7be200b3dfb40ae18a52886a5a82107445adef7
Author: Douglas Katzman <dougk <at> google.com>
Date:   Fri Aug 22 21:41:20 2014 -0400

    Improve the dumping of package tables during genesis.

    - During cold-init before packages have been filled with symbols,
    all symbols to be interned have their package slot set correctly.
    This represents an inconsistent/impossible state normally,
    but is immensely useful when examining a crash in early cold-init.

    - Initial packages were intentionally oversized, but not all
    of them gained additional symbols throughout the bootstrap process,
    so this ended up being slightly wasteful, because resizing works
    just fine, and we adjust them all again in 'save' anyway.

    - The comment that "only symbols which actually have definitions ...
    end up in the target packages" reflected an intent that did not
    coincide with actual behavior. Extra symbols from package-data-list
    affected the target. This is mostly fixed except for a hack that
    assumes that every symbol in any package needed in "src/cold/warm"
    is eventually needed. Notably, more than 200 symbols of SB-UNIX that
    were possibly at some point manifest constants (e.g. READOWN) are
    undefined and so do not appear now in the target.
    Granted, package-data-list should be updated to reflect reality,
(Continue reading)

Douglas Katzman | 23 Aug 02:54 2014
Picon
Picon

master: Remove two obsolete exports

The branch "master" has been updated in SBCL:
       via  a77dc09fa140397b4e5d0b717a43eb2f5780c477 (commit)
      from  84ab6f2fc88c8b6089fa023b20c6483b4b705877 (commit)

- Log -----------------------------------------------------------------
commit a77dc09fa140397b4e5d0b717a43eb2f5780c477
Author: Douglas Katzman <dougk <at> google.com>
Date:   Fri Aug 22 20:53:21 2014 -0400

    Remove two obsolete exports
---
 package-data-list.lisp-expr |    3 +--
 1 files changed, 1 insertions(+), 2 deletions(-)

diff --git a/package-data-list.lisp-expr b/package-data-list.lisp-expr
index 38321f8..e3b0faf 100644
--- a/package-data-list.lisp-expr
+++ b/package-data-list.lisp-expr
 <at>  <at>  -138,7 +138,7  <at>  <at>  of SBCL which maintained the CMU-CL-style split into two packages.)"
                "EMIT-ALIGNMENT" "EMIT-BYTE" "EMIT-SKIP" "EMIT-BACK-PATCH"
                "EMIT-CHOOSER" "DEFINE-BITFIELD-EMITTER"
                "DEFINE-INSTRUCTION" "DEFINE-INSTRUCTION-MACRO"
-               "DEF-ASSEMBLER-PARAMS" "EMIT-POSTIT"
+               "EMIT-POSTIT"

                "MAKE-SEGMENT" "SEGMENT-TYPE" "ASSEMBLE"
                "INST" "LABEL" "LABEL-P" "GEN-LABEL"
 <at>  <at>  -505,7 +505,6  <at>  <at>  like *STACK-TOP-HINT* and unsupported stuff like *TRACED-FUN-LIST*."
                "PRINT-NOTES-AND-NEWLINE"
                "PRINT-WORDS" "SAP-REF-DCHUNK"
(Continue reading)

Douglas Katzman | 22 Aug 16:32 2014
Picon
Picon

master: Trivial changes to genesis

The branch "master" has been updated in SBCL:
       via  a0686711f8987dcd01adc25a0fde301e697a7180 (commit)
      from  0a62cf4b6b6152edb78980e66213dc6b279948ce (commit)

- Log -----------------------------------------------------------------
commit a0686711f8987dcd01adc25a0fde301e697a7180
Author: Douglas Katzman <dougk <at> google.com>
Date:   Fri Aug 22 10:31:44 2014 -0400

    Trivial changes to genesis
---
 src/compiler/generic/genesis.lisp |   37 ++++++++++++++++++-------------------
 1 files changed, 18 insertions(+), 19 deletions(-)

diff --git a/src/compiler/generic/genesis.lisp b/src/compiler/generic/genesis.lisp
index b90c085..0df5d55 100644
--- a/src/compiler/generic/genesis.lisp
+++ b/src/compiler/generic/genesis.lisp
 <at>  <at>  -810,9 +810,9  <at>  <at>  core and return a descriptor to it."

 ;;; Make a simple-vector on the target that holds the specified
 ;;; OBJECTS, and return its descriptor.
-(defun vector-in-core (&rest objects)
+(defun vector-to-core (objects &optional (gspace *dynamic*))
   (let* ((size (length objects))
-         (result (allocate-vector-object *dynamic* sb!vm:n-word-bits size
+         (result (allocate-vector-object gspace sb!vm:n-word-bits size
                                          sb!vm:simple-vector-widetag)))
     (dotimes (index size)
       (write-wordindexed result (+ index sb!vm:vector-data-offset)
(Continue reading)

Douglas Katzman | 22 Aug 16:36 2014
Picon
Picon

master: Revise comment

The branch "master" has been updated in SBCL:
       via  84ab6f2fc88c8b6089fa023b20c6483b4b705877 (commit)
      from  a0686711f8987dcd01adc25a0fde301e697a7180 (commit)

- Log -----------------------------------------------------------------
commit 84ab6f2fc88c8b6089fa023b20c6483b4b705877
Author: Douglas Katzman <dougk <at> google.com>
Date:   Fri Aug 22 10:36:09 2014 -0400

    Revise comment
---
 src/code/package.lisp |   10 +++-------
 1 files changed, 3 insertions(+), 7 deletions(-)

diff --git a/src/code/package.lisp b/src/code/package.lisp
index faa45cb..adfcf77 100644
--- a/src/code/package.lisp
+++ b/src/code/package.lisp
 <at>  <at>  -55,13 +55,9  <at>  <at> 
 
 ;;;; the PACKAGE structure

-;;; Meta: the original comment by WHN is partially untrue.
-;;;  IN-PACKAGE references a string constant, not a package; and moreover,
-;;;  xc never dumps constant package objects. If, as implied by the word
-;;;  "nuisance" we would like this to be done differently, perhaps it could
-;;;  be now, since the alleged rationale no longer exists.
-;;;  I tested that it works to remove the :make-load-form-fun and instead
-;;;  define an ordinary MAKE-LOAD-FORM method in PCL compilation.
+;;; Meta: IN-PACKAGE references a string constant, not a package.
(Continue reading)

Douglas Katzman | 16 Aug 03:49 2014
Picon
Picon

master: Create bootstrap layouts in a slightly less abstraction-breaking way.

The branch "master" has been updated in SBCL:
       via  0a62cf4b6b6152edb78980e66213dc6b279948ce (commit)
      from  1bf343c20e45498b4bb999d718e72187e0b5edf2 (commit)

- Log -----------------------------------------------------------------
commit 0a62cf4b6b6152edb78980e66213dc6b279948ce
Author: Douglas Katzman <dougk <at> google.com>
Date:   Fri Aug 15 17:50:33 2014 -0400

    Create bootstrap layouts in a slightly less abstraction-breaking way.
---
 src/compiler/generic/genesis.lisp |   67 ++++++++++++-------------------------
 1 files changed, 22 insertions(+), 45 deletions(-)

diff --git a/src/compiler/generic/genesis.lisp b/src/compiler/generic/genesis.lisp
index 94a925f..b90c085 100644
--- a/src/compiler/generic/genesis.lisp
+++ b/src/compiler/generic/genesis.lisp
 <at>  <at>  -1036,52 +1036,29  <at>  <at>  core and return a descriptor to it."
 (defun initialize-layouts ()

   (clrhash *cold-layouts*)
-
-  ;; We initially create the layout of LAYOUT itself with NIL as the LAYOUT and
-  ;; #() as INHERITS,
+  ;; This assertion is due to the fact that MAKE-COLD-LAYOUT does not
+  ;; know how to set any raw slots.
+  (aver (= 0 (layout-n-untagged-slots (find-layout 'layout))))
   (setq *layout-layout* *nil-descriptor*)
-  (let ((xlayout-layout (find-layout 'layout)))
(Continue reading)

Douglas Katzman | 15 Aug 15:50 2014
Picon
Picon

master: Remove a few redundant SPECIAL declarations.

The branch "master" has been updated in SBCL:
       via  1bf343c20e45498b4bb999d718e72187e0b5edf2 (commit)
      from  fc9f1e0da5ca0677be46428a77bf2fcd875673d8 (commit)

- Log -----------------------------------------------------------------
commit 1bf343c20e45498b4bb999d718e72187e0b5edf2
Author: Douglas Katzman <dougk <at> google.com>
Date:   Fri Aug 15 09:47:42 2014 -0400

    Remove a few redundant SPECIAL declarations.
---
 src/code/globals.lisp               |    3 +--
 src/code/package.lisp               |    7 +++++++
 src/code/primordial-extensions.lisp |    4 ++--
 src/code/reader.lisp                |    2 +-
 src/code/symbol.lisp                |    3 ---
 src/pcl/boot.lisp                   |    2 +-
 6 files changed, 12 insertions(+), 9 deletions(-)

diff --git a/src/code/globals.lisp b/src/code/globals.lisp
index 5e8716d..ae5c17d 100644
--- a/src/code/globals.lisp
+++ b/src/code/globals.lisp
 <at>  <at>  -15,8 +15,7  <at>  <at> 

 (in-package "SB!IMPL")

-(declaim (special *keyword-package* *cl-package*
-                  sb!pretty::*standard-pprint-dispatch-table*
+(declaim (special sb!pretty::*standard-pprint-dispatch-table*
(Continue reading)


Gmane