Steel Bank Common Lisp Files

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.