1.0.23.68: Cleanups in constraint propagation.

* Three changes here:

(1) Have the conset's min slot always be a fixnum.  The min and max
    slots should now conform to CL sequence bounding index idioms.

(2) Update the extrema in parallel, rather than in sequence, in the
    conset-union, -intersection, -difference.

(3) Remove some noise from conset-intersection that probably included
    an off-by-one error.

* Fixes a bug reported by Tobias C. Rittweiler on sbcl-devel.

1.0.23.67: Fix MIPS FIXED-ALLOC VOP.

  * No observable change in behaviour. Apparently nothing ever allocates
    a non-pointer referenced object via this code path.

1.0.23.66: Calculate array sizes in a more reliable way.

  * The old implementation depended on the array header size being
    an even number of words.

  * Also, another micro-optimization for MIPS.

1.0.23.65: MIPS runtime micro-optimization.

1.0.23.64: fixed bug 395

 * Add support for base-strings in fill-pointer output streams.

 * Also fix a bug revealed by this change in derivation of
   ARRAY-ELEMENT-TYPE return type.

1.0.23.63: WITH-HASH-TABLE-ITERATOR lambda-list beautification

 * Iterator lambda-list name is NAME, not FUNCTION, which was a bit
   confusing since it is bound to a macro.

 * Thanks to Tobias Rittweiler.

1.0.23.62: fix bug 357

 Originally reported by Bruno Haible, more recently by Stephen Wilson.

 * SHARED-INITIALIZE (SLOT-OBJECT) should not check structure slots
   versus +SLOT-UNBOUND+: uninitialized slots are zeroed. Since adding
   slots to structure classes cannot cause those slots to be added to
   structure instances, we don't really have to check for boundness at
   all.

 * SB-PCL::STRUCTURE-TYPE-SLOT-DESCRIPTION-LIST and
   SB-PCL::MAKE-STRUCTURE-CLASS-DEFSTRUCT-FORM did not take overridden
   slot specifications into account, and the latter also omitted
   initform and type information.

 * Delete SB-PCL::ALLOCATE-STRUCTURE-INSTANCE, unused.

 * ALLOCATE-INSTANCE (STRUCTURE-OBJECT) should not fall back on
   ALLOCATE-STANDARD-INSTANCE.

1.0.23.62: Micro-optimization for MIPS' SYMBOL-HASH VOP.

  * MIPS sucks now less.

1.0.23.61: tweak concurrent hash-table access check

 * Moves the with-concurrent-access-check inside the body where
   the lock is already held. Patch by Attila Lendvai.

 * Fix various attributions in NEWS, caught by TCR.

1.0.23.60: fix bug 354: XEPs in backtraces, properly this time

 * Don't terminate the block in MAYBE-TERMINATE-BLOCK even if the node
   is a call to a function that never returns if it is also the tail
   end of a XEP -- this allows TCO to deal with the XEP.

 * More stale bugs:
   ** 143 -- cannot replicate, interrupt handling has been robustified
      and partially redesigned since than, so confidence that this is
      really gone is reasonably high.
   ** 238 -- has gotten fixed at some point.

1.0.23.59: bug 3b has been fixed a while now

 * Test case added.

1.0.23.58: bug 405 has been fixed a while now

 * Fixed as of 1.0.19.32.

1.0.23.57: rewrite bug 217

 * Case A is a non-issue. SBCL interprets "unpredictable but harmless"
   to mean "anything, but heap will no be corrupted, data lost, etc"
   -- that is, an error may or may not be signalled, but it the lisp
   session will remain sane and operable.

 * Case B is negated by the portability argument: since specifying both
   is unspecified, we should not build useful-seeming extensions on top
   of it, as it will only create portability problems for users.

 * Case C remains partially valid, except for the runtime WARNINGs.
   Integrated into the new text.

1.0.23.56: special variables cause special cases in CLOS cleverness

 * As we cannot reliably ensure nothing calls SET or (SETF
   SYMBOL-VALUE) on the special variable, we need to disable
   optimizations perutation vector optimizations for them.

 * For the same reason we cannot implicitly declare types for even
   local specials in DEFMETHODs.

 * Delete bug 276: the issue it refers to was fixed back when we
   stopped inserting declarations for special variables.

1.0.23.55: three stale bugs

 * 332, 369, 380: added test-cases which pass.

1.0.23.54: compiler-macros for WRITE and WRITE-TO-STRING

 * The common use-cases have only constant keywords, but due to the
   way they are defined inlining doesn't really help -- so do it with
   compiler-macros, which bind only those specials specified in the
   call.

1.0.23.53: FORMAT performance tweaking 2

 * Rearrange FORMAT-FIXED and open code guts of FORMAT-FIXED-AUX for
   both single and double-float cases, gaining ~5% speedup for ~F.

1.0.23.52: FORMAT performance tweaking

 * Handle plain ~D using explicitly bindings and OUTPUT-OBJECT to
   avoid paying for WRITE keyword argument parsing.

 * Compile format control strings when SPEED = SPACE.

 * Always transform FORMAT calls when the second argument is a
   function -- trying to save space there doesn't make much sense.

1.0.23.51: wrong return value from READ-SEQUENCE :START on file streams

 * Regression since 1.0.12.22.

 * Reported by Daniel Herring, patch by Paul Huong.

 * Also tweak the "write a line with bignum characters test" to run a bit faster.

1.0.23.50: Less magic constants in the MIPS backend.

1.0.23.49: Eliminate FCN as function moniker.

1.0.23.48: REPL recovers from *READ-SUPPRESS* T with a warning

 * Reported by Daniel Herring.

1.0.23.47: binaries built on now Leopard run on Tiger as well

 * -mmacosx-version-min=10.4 needed in LINKFLAGS as well.

1.0.23.46: Remove redundant uses of zero-tn in the MIPS backend.

1.0.23.45: Remove superfluous register :offsets in the MIPS backend.

1.0.23.44: Nicer code for MIPS, lifted from the SPARC backend.

  * Add some :note annotations.

  * Kill a few magic constants.

1.0.23.43: More consistent coding style for mips/array.lisp

1.0.23.42: don't grab *WORLD-LOCK* in CLASSOID-TYPEP

 * A shoddy bandaid to make Slime less prone to deadlock against the
   compiler when using :SPAWN.

 * Proper fix is to be much, much more principled about grabbing the
   *WORLD-LOCK* in the compiler: we should only ever grab it in places
   where we cannot end up calling arbitary user code while holding
   it.

1.0.23.41: fix DX-COMBINATION-P

 * Punt on multiple result-uses. Reported by Pascal Costanza and
   Thiemo Seufer.

 * Also check for clean arg flow all cases.

1.0.23.40: export page sizes to C with LU suffix

 * Rename GENCGC-PAGE-SIZE and *BACKEND-PAGE-SIZE* to
   GENCGC-PAGE-BYTES and *BACKEND-PAGE-BYTES* respectively.

 * Clean up constant.h generation: instead of guessing when to add an
   U suffix, specify when the value is "large", and then add an LU
   suffix.

 * Without the LU suffix some C compilers chose to truncate results of
   some operations where these quantities featured, leading at least
   to an upper limit of #xffff0000 bytes in dynamic space on certain
   64 bit systems.

1.0.23.39: Red Hat Enterprise 3 mmap randomization workaround

 * Patch by Thomas Burdick: RHEL 3 suffers from the randomized mmap
   nonesense, and reports kernel version 2.4.21. With the attached
   patch, it SBCL runs correctly on these machines.

1.0.23.38: fix bug 430 (stack alloc by nested defstruct constructors)

 * Mark lambdas introduced by the compiler as such, so that
   LAMBDA-SYSTEM-LAMBDA-P returns true for them.

 * Allow USE-GOOD-FOR-DX-P to inspect COMBINATIONs with CLAMBDA
   functionals: if the return value of the function always originates
   from a known DX-capable combination, and the arguments of the
   original combination are used only by the DX-capable combination,
   consider the original combination good for DX.

 * Allow USE-GOOD-FOR-DX-P to inspect REFs to LAMBDA-VARs: if the var
   is bound by a system lambda, has no other refs, is never set, gets
   its value from a single-value combination, and the LVAR it gets its
   value from is good for DX ... then the REF is good for DX as well.

 * HANDLE-NESTED-DYNAMIC-EXTENT-LVARS handles REFs as well by
   recursing on the lvar the REF gets its value from.

1.0.23.37: more CLOS and classoid thread safety

 * Rename *BIG-COMPILER-LOCK* as *WORLD-LOCK*.

 * Use it to protect classoids, layouts/wrappers, obsolete instance
   updating, etc.

 * Rename sevaral functions which assume their callers are holding the
   lock to have % prefix. Perhaps we should have a separate prefix
   convention for "requires called to lock"? Or a nifty macro layer?
   (Actually there are probably places where read/write locks (or
   STM!)  would be a win...)

 * ENSURE-CLASS-USING-CLASS needs to set up type translations only
   while PCL is being build.

 * DEFCLASS and ENSURE-CLASS-USING-CLASS are now expected to be thread
   safe.

 * Test-case for parallel defclass and make-instance.

1.0.23.36: typecheck :ALLOCATION :CLASS slot initforms in safe code

 * Initforms for shared slots are not applied at make-instance, but at
   class definition time. (See CLHS 4.3.6 and 7.1.) Reported by Didier
   Verna.

1.0.23.35: CLOS tweaking

 * Muffle undefined function style-warning for slot-accessors. The
   slot-accessor name is an internal detail, and defining functions
   accessing slots before classes with such slots are defined is fine.

 * Don't double-fetch slot-definition-initfunction in
   SHARED-INITIALIZE (SLOT-OBJECT).

 * Don't double-fetch various slot-definition properties in
   COMPUTE-EFFECTIVE-SLOT-DEFINITION-INITARGS, and declare
   type-check-functions as functions.

1.0.23.34: A nicer register dump for ldb.

1.0.23.33: Stack-allocatable vectors for MIPS.

1.0.23.32: Flush icache for MIPS alien callback stub.

1.0.23.31: NFP is not a descriptor-reg.

1.0.23.30: Don't export storage class names.

1.0.23.29: Specify the required double-stack alignment for MIPS.

1.0.23.28: defconstant -> def!constant in the MIPS backend.

1.0.23.27: Less magic constants in the MIPS backend.

1.0.23.26: AMOPly correct defaulting of direct superclasses

  "The class standard-object is the default direct superclass of the
  class standard-class. When an instance of the class standard-class
  is created, and no direct superclasses are explicitly specified, it
  defaults to the class standard-object."

  "The same is true for funcallable-standard-class and
  funcallable-standard-object."

  * Add :DEFAULT-INITARGS to that effect.

1.0.23.25: better errors for bogus RECURSIVE-P in reader

 * When RECURSIVE-P was true in a non-recursive context, we used to
   signal an unbound-variable error. Now signal a sensible
   reader-error instead.

 * Patch by Tobias Rittweiler. Also apologies for constant mistyping
   of his name: mentally s/Ritter/Ritt/ in historical commit
   messages...

1.0.23.24: fix bad test for ARRAY-STORAGE-VECTOR

 * How many problems can a trivial change have? Moral: don't do manual
   cherry-picking. It always goes wrong.

1.0.23.23: properly rename SIMPLE-ARRAY-VECTOR to ARRAY-STORAGE-VECTOR

 * Missed package-data-list.lisp-expr from last commit.

1.0.23.22: rename SIMPLE-ARRAY-VECTOR to ARRAY-STORAGE-VECTOR

 * Allow fething the underlying vector of any non-displaced array.

1.0.23.21: Stack allocated conses for MIPS.

1.0.23.20: check for standard readtable modification

 * CLHS says that frobbing the standard readtable is undefined.

 * Patch by Tobias Ritterweiler.

1.0.23.19 deja vu

 (missing version.lisp-expr update for last commit)

1.0.23.19: cosmetic reader changes

 * Patch by Tobias Ritterweiler, slightly mangled by yours truly.
    ** Convert macros to functions.
    ** Remove various FIXMEs.
    ** Update comments.

1.0.23.18: SET-[DISPATCH-]MACRO-CHARACTER fixes

 * Patch by Tobias Ritterweiler, plus tests and making S-D-M-C return T.

1.0.23.17: new function: SIMPLE-ARRAY-VECTOR

 * For users to extract the underlying vector from a multidimensional
   array. Warn about implementation-detail nature of this.

 * Add Miscellaneuous Extensions section to Beyond ANSI chapter in the
   manual.

1.0.23.16: more generic assembly op optimizations on x86 and x86-64

 * Cleanup: replace bunch of magic numbers with fixnum-tag-mask and
   n-fixnum-tag-bits.

 * More cases of "one test to check both argument types against fixnum".

 * Use CMOV where appropriate. (Thanks to Vitaly Mayatskikh)

1.0.23.15: GET-MUTEX to set new mutex owner unithreaded platforms

 * Can't believe no-one has complained about this...

1.0.23.14: fix CheyneyGC build

 * Tested on PPC/Darwin.

1.0.23.13: missing declaration from Cheyney GC port (broken by recent GC changes)

 * Thanks to Larry Valkama

1.0.23.12: release checklist

 * From WHN via CSR & kreuter.

1.0.23.11: Typecheck late-bound calls too

 * Ensures that the compiler can't be confused into IR2 converting
   bad `late-bound' calls like (funcall 'cons 1).

   Reported by madnificient on #lisp

1.0.23.10: allocate code objects using allocation CODE_PAGE_FLAG

 (Code and data separation 5.)

 * CODE_PAGE_FLAG == BOXED_PAGE_FLAG|UNBOXED_PAGE_FLAG, which may or
   may not be better then having a separate bit for it -- but seemed
   easier to implement and doesn't seem too horrible.

 * Define page predicates instead of manually open coding things all
   over the place. Also a convenient way to make sure we catch all the
   places where == needs to be changed to & when checking for boxed
   pages, etc.

 * trans_code_header keeps code objects on code pages.

 * Take separated code pages into account when pinning: since
   code-objects live on their own pages, we get most of the accuracy
   benefit of the scanning by just checking for code_page_p.

   Similarly, there is no need to do a full scan unless
   is_lisp_pointer is true.

1.0.23.9: extend pa_alloc to accept a page_type_flag

 (Code and data separation 4/5.)

 * Define alloc() and pa_alloc() in terms of a new function,
   general_alloc(), which accepts a page_type_flag.

   Guts of old alloc() are now called general_alloc_internal(), called
   by general_alloc() after selecting the region to use, and locking
   if using a non-thread-local region.

1.0.23.8: factor out similar code from gc_alloc_large and gc_alloc_update_page_tables

 (Code and data separation 3/5.)

 * New functions: generation_alloc_start_page and set_generation_alloc_start_page.

1.0.23.7: introduce page type flags

 (Code and data separation 2/5.)

 * Use page_type_flag instead of unboxed/boxed booleans in
   gc_find_freeish_pages, gc_alloc_new_region, gc_alloc_large,
   gc_alloc_with_region, and gc_alloc_update_page_tables.

 * Similarly use page_type_flag instead of unboxed/boxed boolean in
   gc_general_alloc. Also make it static inline on GENCGC platforms,
   and move to gc-internal.h (since the page_type_flag is constant in
   every call by inlining we get rid of the branch to select the
   region, whoopee.)

1.0.23.6: move code-object allocation to C side on x86 and x86-64

 (Code and data separation 1/5.)

 * Replace VOPs with alloc_code in alloc.c.

1.0.23.5: Make sb-grovel's generated files not need it at runtime.

1.0.23.4: fix error signalling from (SETF FILL-POINTER)

 * Thanks to Stas Boukarev.

1.0.23.3: faster generic arithmetic dispatch on x86 and x86-64

 * Single branch to check if both arguments are fixnums, rerorder fixnum branch to
   be the fallthru.

1.0.23.2: STRING->UTF8 did not handle the start argument correctly

 * Thank to Luis Oliveira.

1.0.23.1: declaring the type of a bound variable gives :DECLARED as LEAF-WHERE-FROM

 * Makes SB-CLTL2 do the right thing with local declarations. Reported
   by Larry D'Anna.

1.0.23: release, will be tagged as sbcl_1_0_23.

1.0.22.22: (SETF FIND-CLASSOID) to drop DEFTYPE lambda-lists and source-locations

 * Going in despite the freeze, as this is a regression of sorts as of
   1.0.22.8.

 * Don't store early source-locations for defined types: use
   WITH-SOURCE-LOCATION to ensure we convert them to proper
   source-locations.

 Thanks to Tobias Ritterweiler for the heads-up.

1.0.22.21: Fix return value from DEFTYPE, broken in 1.0.22.20.

1.0.22.20: Make a stab at having DEFTYPE types replace structure types.

* Probably a still bit wrong around the edges, but seems to work.

1.0.22.19: Canonicalize whitespace in .asd files.

1.0.22.18: select() and EAGAIN

On at least x86 linux 2.6.26 select() can return EAGAIN under load. I
guess this is what the commit message of 1.0.21.8 refers to as "what
happens in the wild" as EAGAIN is not mentioned in the select man
page.

1.0.22.17: fix cross-compile from CMUCL 19e

1.0.22.16: mkdtemp is unimplemented on Solaris

 * ... so don't fail SB-POSIX tests because it's not there.

1.0.22.15: 16 byte align assembly routines on x86 and x86-64

 * Modern processors like it that way, and x86-64 was mostly there
   already.

 * Also fix a stupid typo in bug 419.

1.0.22.14: fix a bug in PPC alien function calls

 * On SVR4 ABI systems (Linux and NetBSD), fix a bogus situation where
   the proper alignment would not be set when a SAP is passed before a
   long long argument.

1.0.22.13: fixed bug 426: nested inline expansion failure

 * In RECOGNIZE-KNOWN-CALL, if an inline function has already been
   converted in the component, replace the REF-LEAF with the
   functional.

 * Test cases.

1.0.22.12: fix DEFTYPE regression revealed by ansi tests

 * DEFTYPE body can be empty.

1.0.22.11: name *pcl-lock*

 * For your debugging pleasure.

1.0.22.10: detect infinite recursion during wrapper validation

 * Patch by Attila Lendvai. ...still hoping for a test-case, so this
   could be fixed properly.

1.0.22.9: SB-INTROSPECT regression from 1.0.22.8

 * Don't signal an error if no TYPE exists when FIND-DEFINITION-SOURCES-BY-NAME
   is called with :TYPE as the second argument.

1.0.22.8: DEFTYPE tweaking

 * If the expansion is a quoted contant, T, or NIL use a closure as
   the expander instead of compiling a separate expander.

 * When using a closure as above, save the source location separately.

 * Use the space saved to the store the DEFTYPE lmabda-list, and make
   DESCRIBE report it.

1.0.22.7: Update to ASDF 1.130

* Includes fix for circular dependency detection.

1.0.22.6: some ANSI-STREAM cleanups & micro-optimization

 * Make WRITE-LINE dispatch on the type of the stream only once -- not
   for both writing the string and the newline separately.

 * ANSI-STREAM-WRITE-LINE checks the START and END parameters, so
   callers of %WRITE-LINE don't need to.

 * Remove some redundant type checks from WRITE-LINE and WRITE-STRING
   code paths.

 * SB-IMPL::INDENTING-STREAM was unused, delete it. (Note: update your
   Slime!)

1.0.22.5: teach DISASSEMBLE about %METHOD-FUNCTIONs

 * Disassemble both the %METHOD-FUNCTION object itself, and the
   associated fast-function.

 * Clarify the disassembler output slightly by prepending it with
   ; disassembly for <function name>.

1.0.22.4: symbol macros and type declarations in PCL

* When PCL walks the method body, doing permutation vector
   optimizations, take into account type declarations for symbol
   macros, to get the benefit of the declaration in

   (WITH-SLOTS (X) OBJECT ... (DECLARE (FIXNUM X)) ... (FOO X) ...)

   which currently happens only in DEFUN, where permuation vector
   optimizations do not occur.

1.0.22.3: use EQ instead of EQL to check *GC-EPOCH*

1.0.22.2: optimize output under *PRINT-PRETTY*

 * Don't construct the pretty stream when it is not needed.

1.0.22.1: run-sbcl.sh improvements

- make run-sbcl.sh executable
- don't require it to be started from the top of the source dir

... so that "~/sbcl/run-sbcl.sh" is a drop in replacement for "sbcl".

1.0.22: release, will be tagged sbcl_1_0_22.

1.0.21.38: lisp-side %ASIN, %ACOS, %SINH, %TANH, and %HYPOT

 * For Win32 build robustness: on some toolchains asin &co were not
   getting linked to the runtime as we'd like to.

   Caveat: %HYPOT is stupid about under/overflows unlike hypot().

1.0.21.37:
  Use /**/ instead of ## to concatenate symbols on PPC/Darwin

1.0.21.36: Fix a bug in one path through RUN-PROGRAM.

* Ensure that the template buffer for sb_mkstemp is null-terminated.

1.0.21.35: fix build / SAVE-LISP-AND-DIE on non-GENCGC platforms

 * Move back SAVE outside the WHEN in SAVE-LISP-AND-DIE. Thanks to
   Bruce O'Neel.

1.0.21.34: fix build on x86/x86-64 lutex platforms

1.0.21.33: fix lack of null termination bug in mk{d,s}temp