Tags

sbcl release 2:2.5.8-1 for unstable

[dgit distro=debian split --quilt=linear]
[dgit please-upload source=sbcl version=2:2.5.8-1 upstream-tag=sbcl-2.5.8 upstream=3d7c5355f66c469f4aa8290e3f4cf224d972e3fe]

changes in sbcl-2.5.8 relative to sbcl-2.5.7:
  * minor incompatible change: SB-THREAD:MAIN-THREAD-P can only be applied to
    threads, not arbitrary lisp objects.
  * minor incompatible change: the instruction-combining (peephole)
    optimization pass does not run if COMPILATION-SPEED has a higher value
    than SPEED.
  * platform support:
    ** on arm64, provide better backtraces in the statistical profiler's
       reporting, along with better detection of assembly routines, local
       functions and callers of foreign code.
    ** on ppc64le, make --dynamic-space-size behave as documented.
       (lp#2121255)
    ** on x86-64, handle more cases in the ALU+TEST peephole optimization.
  * bug fix: for file-streams with :DIRECTION :IO, input and output file
    positions should no longer get out of sync.  (lp#1600610, reported by
    Guillaume le Vaillant, test cases by Brent Benson)
  * bug fix: an infinite loop in SUBTYPEP for types involving negations of
    CONS of specialized ARRAY types.  (lp#2114755)
  * bug fix: miscompilation of a CASE form with small numeric keys.
    (lp#2119035)
  * bug fix: anonymous alien structs definitions are deduplicated, making it
    harder to overflow internal data structures.  (lp#2114943, reported by
    Brooke Tilley)
  * bug fix: allow ALU+TEST peephole optimizations to fire on x86-64.
    (lp#2120547, reported by Christoph Breitkopf)
  * bug fix: miscompilation of a LOOP form with rational arithmetic on
    variables involved in termination tests.  (lp#2121178, reported by 3b)
  * bug fix: the compiler is better able to associate some forms in a
    macroexpanion with the original sources.
  * optimization: improve array construction with LIST or SEQUENCE
    :INITIAL-CONTENTS.

sbcl release 2:2.5.7-1 for unstable

[dgit distro=debian split --quilt=linear]
[dgit please-upload source=sbcl version=2:2.5.7-1 upstream-tag=sbcl-2.5.7 upstream=898643fc7b0b136f4ade762d9c5190e28c20ea28]

changes in sbcl-2.5.7 relative to sbcl-2.5.6:
  * enhancement: the encapsulate mechanism can be used to wrap functions that
    are currently not FBOUNDP.
  * bug fix: internal compiler error in a failure of stack analysis during
    propagation of dynamic-extent.  (lp#2113935)
  * bug fix: address regression in type inference for TRUNCATE and other
    division-related operators.  (lp#2115305, reported by Vasiliy Postnicov)
  * bug fix: cleanup of the main thread is performed more carefully when SBCL
    is used as a shared library.  (lp#2115669, reported by Fedorov Alexander)
  * bug fix: the compiler does not lose track of the types of specialized
    external entry points for user-defined functions.  (lp#2115955, reported
    by Matt Kaufmann)
  * bug fix: adjust compiler template argument acceptability for increased
    usage scope.  (lp#2116150)
  * bug fix: provide a stub for ROTATE-RIGHT-WORD for constant-folding during
    compilation.  (lp#2117080)
  * bug fix: provide a stub for %MAKE-DOUBLE-FLOAT for constant-folding during
    compilation.  (reported by Eric Marsden)
  * bug fix: don't loop infinitely in the presence of type-mismatching
    circular #S read syntax.  (reported by Bohong Huang)
  * optimization: calls to SLOT-VALUE (and related functions) within methods,
    on values that are not a specialized argument to those methods, are
    optimized similarly to calls to SLOT-VALUE in non-method code.
  * optimization: calls to REPLACE with VECTOR first argument and LIST second
    argument are improved.
  * optimization: TYPECASE over a set of structure types known not to be
    extensible is converted to an array lookup.

sbcl release 2:2.5.2-1 for unstable (sid) [dgit]

[dgit distro=debian no-split --quilt=linear]

sbcl release 2:2.5.2-1 for unstable (sid) [dgit]

[dgit distro=debian no-split --quilt=linear]

changes in sbcl-2.5.2 relative to sbcl-2.5.1:
  * minor incompatible change: in some instances when the compiler cannot
    prove that a NIL-valued branch is unreachable, where NIL is not compatible
    with the expected type, a type warning will no longer be issued.
  * minor incompatible change: the compiler will more strictly treat type
    declarations for &OPTIONAL and &KEY arguments in FTYPE declarations, no
    longer effectively adding an implicit (OR ... <default>) type when the
    function itself has a default value not matching the declared type for
    that argument.
  * enhancement: type errors in structure constructors are now restartable,
    with a USE-VALUE restart provided.
  * enhancement: CHECK-TYPE warns about type conflicts at compile-time.
  * enhancement: FTYPE declarations for functions which set their parameters
    are checked.
  * enhancement: new print control variable SB-EXT:*PRINT-CIRCLE-NOT-SHARED*,
    when used in conjunction with *PRINT-CIRCLE*, prints #1# only for
    circularities and not simple sharing.
  * platform support
    ** on Windows, make sure to commit memory after zeroing during
       save-lisp-and-die. (lp#2097197, reported by _3b)
    ** on Linux, add the TCP_USER_TIMEOUT constant to SB-BSD-SOCKETS.  (thanks
       to Mihai Bazon)
    ** on *BSD, make TCP_KEEPCNT, TCP_KEEPIDLE and TCP_KEEPINTVL available
       where the OS supports it.
    ** on x86-64, optimize BOUNDP for known-global symbols.
    ** on x86-64, optimize KEYWORDP for some arguments.
    ** on arm64, don't trigger an assertion when using FMOV on complex
       single-float registers.
    ** on arm64, improve type checking for (AND SYMBOL (NOT NULL)).
  * bug fix: using structure read macros with shared structure markers no
    longer signals type errors when the shared structure is in a slot with a
    type.  (lp#308936)
  * bug fix: non-conforming user macros which modify their source no longer
    trigger internal errors.  (lp#1371719, reported by _3b)
  * bug fix: the combination of CONSTANTLY and DYNAMIC-EXTENT declarations no
    longer causes an internal compiler error.  (lp#2059950, reported by
    bohonghuang)
  * bug fix: treat inlined functions analogously to constants in the compiler.
    (lp#2095560, reported by Vasiliy Postnicov)
  * bug fix: FTYPE declarations for &optional and &key arguments do not
    include default values when checking types.
  * bug fix: Storing coverage data no longer leads to miscompilations allowing
    reachability of unreachable code.  (lp#2092451, reported by mrkissinger)
  * optimization: elide bounds-checking for multidimensional arrays with known
    dimensions.  (reported by aeth)
  * optimization: alien callbacks are generally less heavyweight.
  * optimization: REMOVE shares the tail of the input list when there's
    nothing to remove.

sbcl release 2:2.5.1-1 for unstable (sid) [dgit]

[dgit distro=debian no-split --quilt=linear]

sbcl release 2:2.5.1-1 for unstable (sid) [dgit]

[dgit distro=debian no-split --quilt=linear]

changes in sbcl-2.5.1 relative to sbcl-2.5.0:
  * minor incompatible change: SBCL now reveals details of its COMPLEX
    representations through UPGRADED-COMPLEX-PART-TYPE, rather than hiding
    them.
  * minor incompatible change: the compiler will warn on the use of a
    SATISFIES type with an undefined function.  (lp#576608, reported by Roman
    Marynchak)
  * minor incompatible change: (room t) now counts the space taken by the
    internals of hash-tables and CLOS instances.
  * platform support
    ** fixes to the included version of ASDF, and to sockets functions, for
       the Haiku operating system.  (thanks to Alexandru Popa)
    ** add support for CAS (compare-and-swap) on SAPs for arm64, x86-64 and
       (partially) RISC-V.  (lp#1894057, reported by Yukari Hafner)
    ** the system is now consistent with 64-bit time_t on 32-bit linux
       platforms. (lp#2063340, reported by Peter van Eynde)
    ** restore building on 32-bit ARM with newer gcc versions.  (lp#1839783,
       reported by Sébastien Villemot)
    ** fix large stack allocation on 64-bit Windows.
  * CL portability fixes to the definitions of certain compiler structures,
    detected by CLISP.  (lp#2064301, lp#2064312, thanks to Robert Brown)
  * bug fix: a misplaced assertion regarding weak hash tables would trigger
    if a garbage collection hit at just the wrong time.  (lp#2096998)
  * bug fix: structure BOA constructors with &REST arguments no longer cause
    structure slots named NIL or T to be unconditionally initialized with the
    values NIL and T respectively.
  * bug fix: structure BOA constructors without values for some slots no
    longer cause compilation errors for initforms that are not a single
    variable.
  * bug fix: sequence functions handle :TEST and :TEST-NOT both being given
    uniformly.  (lp#309143)
  * bug fix: the type system is better equipped to handle complicated unions
    of numeric types.  (lp#308937, lp#1694839, lp#1734959, lp#2073544)
  * bug fix: misoptimization of VALUES-LIST in the presence of intervening
    stack operations.  (reported by haruhi.s)
  * bug fix: apply the limit to inline expansions more selectively.
    (lp#2092518, reported by Andrew Kravchuk)
  * bug fix: compiler-detected type mismatches are reported even given the
    presence of inlined functions.  (lp#2092613, reported by Vasily Postnicov)
  * bug fix: improved type error detection for inlined array construction forms.
    (lp#2092889, reported by Vasily Postnicov)
  * bug fix: accesses to multidimensional arrays are now checked based on the
    (internal) INSERT-ARRAY-BOUNDS-CHECKS declaration, as with one-dimensional
    arrays.  (lp#2095155, thanks to Vasily Postnicov)
  * bug fix: sb-bsd-sockets:socket-connect handles EINTR caused by GC signals.

sbcl Debian release 2:2.5.0-1

Upstream version 2.5.0

changes in sbcl-2.5.0 relative to sbcl-2.4.11:
  * platform support:
    ** improve support for the Haiku operating system.  (thanks to Al Hoang,
       Estevan Castilho and Alexandru Popa)
  * bug fix: generic functions with a large number of required arguments, with
    methods with specializations on exactly STANDARD-OBJECT or
    FUNCALLABLE-STANDARD-OBJECT, test the types of their arguments more
    correctly.
  * bug fix: defining a method on SB-MOP:SLOT-VALUE-USING-CLASS where the
    object argument is specialized to a CONDITION-CLASS no longer leads to an
    internal error.
  * bug fix: the dissassembler on x86-64 correctly disassembles the vcvttpd2dq
    AVX2 instruction.
  * bug fix: ensure that the dispatch function for generic functions is
    compiled with a known compilation policy.  (reported by Neil Goldman)
  * bug fix: the compiler retains less intermediate data between COMPILE-FILE
    forms.  (lp#1557590, reported by andy arvid)
  * bug fix: the (invalid) :INITARGS slot option keyword is reported on.
    (lp#1887014, reported by Wayne Rittiman, Jr)
  * bug fix: the SB-SIMD s16.8-maddubs accepts packs of 16 8-bit quantities,
    not 8 16-bit quantities.  (lp#2069538, reported by Georgios Makris)
  * bug fix: compiling a TYPECASE to dispatch between many user-defined
    classes no longer takes exponential time.  (lp#2089311, reported by Tomas
    Hlavaty)
  * bug fix: derive the new type for a variable when setting it to a function
    of its previous version.  (lp#2090997, reported by Vasily Postnicov)
  * bug fix: properly clear compiler annotations on variables set to new
    values involving functions of themselves.  (lp#2090967, reported by Kirill
    A. Korinskiy)
  * bug fix: handle BY in LOOP forms involving iteration on the reverse of a
    list.  (lp#2091210, reported by James Kalenius)
  * bug fix: fix miscompilation of IF where the consequent and alternative
    would have the same value but for an intervening side-effect.
    (lp#2092588, reported by JA)
  * optimization: SLOT-VALUE and (SETF SLOT-VALUE) on method arguments
    specialized to structure classes are compiled to the corresponding
    structure accessor.
  * optimization: calls to SLOT-VALUE (and related operators) on method
    arguments specialized to instances of SB-MOP:FUNCALLABLE-STANDARD-CLASS
    are optimized similarly to calls on method arguments specialized to
    instances of STANDARD-CLASS.
  * optimization: (coerce (reverse list) 'vector) doesn't cons a list.
  * optimization: (replace vector (reverse list)) doesn't cons a list.

sbcl release 2:2.4.11-1 for unstable (sid) [dgit]

[dgit distro=debian no-split --quilt=linear]

sbcl release 2:2.4.11-1 for unstable (sid) [dgit]

[dgit distro=debian no-split --quilt=linear]

changes in sbcl-2.4.11 relative to sbcl-2.4.10:
  * enhancement: define SB-EXT:*DEFAULT-SOURCE-EXTERNAL-FORMAT* as the
    external format for reading source files (for direct use in LOAD and
    COMPILE-FILE).  On Windows, this defaults to an external format with CRLF
    line-endings.  (lp#720517, reported by Mark David)
  * minor incompatible change: the documentation of
    SB-SEQUENCE:MAKE-SEQUENCE-LIKE has been altered to match its
    implementation regarding the (un)initialization of the sequence if neither
    :INITIAL-CONTENTS nor :INITIAL-ELEMENT is provided.
  * minor incompatible change: the outputs from SB-GROVEL no longer contain
    calls to SB-GROVEL::DEFINE-FOREIGN-ROUTINE, but call
    SB-ALIEN:DEFINE-ALIEN-ROUTINE directly; the definitions of some other
    SB-GROVEL utilities has also changed.
  * platform support:
    ** The system is more likely to build with the musl C library.  (thanks to
       Masatoshi SANO)
    ** It is possible to build 32-bit binaries on NetBSD/x86-64 systems.
       (thanks to Masatoshi SANO)
    ** Stale big-endian ARM code in callbacks is no longer present.
       (lp#2087866, reported by Rongcui Dong)
    ** Correct the encoding of the VPSHUFD AVX2 instruction.  (reported by
       Dmitry Ignatiev)
    ** Implement the PINSRQ SSE instruction and provide access to it in
       SB-SIMD.
    ** Fix some signed/unsigned and 32-bit issues in the runtime leading to
       problems with large --dynamic-space-size.  (lp#2087986)
  * bug fix: cross-reference information about structure accessors is
    preserved when compilation policy requires it.
  * bug fix: changing &ALLOW-OTHER-KEYS in a generic function's lambda list
    needs to invalidate the effective methods cache.  (reported by Robert
    Strandh)
  * bug fix: calling DISASSEMBLE on a method-function provides a more useful
    disassembly.
  * bug fix: PROCESS-CLOSE no longer leaks a zombie process.
  * bug fix: interaction between SYMBOL-MACROLET and SPECIAL declarations is
    handled more correctly in the code walker.  (lp#1053198)
  * bug fix: better scaling when compiling large numbers of calls to local
    functions.  (lp#1379661, reported by 3b and Burton Samograd)
  * bug fix: allow the compiler to approximate types involving large bignums
    or ratios with large numerator or denominator.  (lp#2085637)
  * bug fix: miscompilation of type tests involving STRUCTURE-OBJECT.
    (lp#2088417)
  * optimization: CONCATENATE with consing arguments can elide some of the
    intermediate consing.
  * optimization: the implementations of various external-formats have been
    sped up.
  * optimization: elide %SAP-ALIEN calls if all uses dereference the resulting
    ALIEN object.
  * optimization: faster (expt integer integer) when computing fixnum results.
  * optimization: (ash unknown-integer right) can use modular arithmetic.
  * optimization: (apply x ... list) avoids consing intermediate lists in more
    situations.
  * optimizations for arm64, x86-64:
    ** AREF on non-simple arrays with known element type is faster, along with
       uses such as LOOP ACROSS, VECTOR-PUSH/POP/EXTEND.
    ** SIMD variants for POSITION for strings, 8 and 32 bit integer arrays.
    ** faster overflow checking for (the fixnum (+ fixnum fixnum))

sbcl release 2:2.4.10-2 for unstable (sid) [dgit]

[dgit distro=debian no-split --quilt=linear]

sbcl release 2:2.4.10-2 for unstable (sid) [dgit]

[dgit distro=debian no-split --quilt=linear]

sbcl release 2:2.4.10-1 for unstable (sid) [dgit]

[dgit distro=debian no-split --quilt=linear]

sbcl release 2:2.4.10-1 for unstable (sid) [dgit]

[dgit distro=debian no-split --quilt=linear]