0.6.11.30:
MNA source cleanups (sbcl-devel 2001-03-29), including Raymond
Toy's float trap patch (cmucl-imp 2001-03-28)
commented out unused stuff in dfun.lisp

0.6.11.29:
fixed bug 92: (< SB-EXT:SINGLE-FLOAT-POSITIVE-INFINITY 100)
now works, thanks to Raymond Toy's patch to CMU CL.
added more infinity-related tests in tests/
deleted bad DECLAIM FTYPE for PARSE-DEFTRANSFORM, to fix bug
 reported by Christophe Rhodes sbcl-devel 2001-03-28
converted some INTERNs to SYMBOLICATE or KEYWORDICATE
converted DEF-DEBUG-COMMAND to !DEF-DEBUG-COMMAND as per FIXME

0.6.11.28:
  removed FIXME "MAKE-LOAD-FORM is supposed to be handled
here, too", since it's of date; in SBCL DEF!STRUCT
handles MAKE-LOAD-FORM by a different mechanism, and
vanilla DEFSTRUCT doesn't mess with it at all. (thanks
to MNA question)
tweaked FIND-FREE-REALLY-FUNCTION so that it doesn't complain
about an undefined function when the function is
defined in the running Lisp (to fix undefined function
warnings reported by MNA sbcl-devel 2001-03-26)
moved CONSTANTLY-FOO functions to SB!INT (as per old FIXME)

0.6.11.27:
redid BYTE-BLT to use memmove(3) (so GENESIS will work again!)
deleted unused %SP-BYTE-BLT, and some unused stuff in SB!SYS
added error checking in DEF!STRUCT to catch any programmer
errors of (DEFSTRUCT FOO ..) followed by
(DEF!STRUCT (.. (:INCLUDE FOO)) ..)
MNA MAKE-LOAD-FORM UNIX-HOST bug and patch (fixing a
particular instance of the DEF!STRUCT programmer error)

0.6.11.26:
restored CMU CL's :PROPAGATE-FLOAT-TYPE and :PROPAGATE-FUN-TYPE
functionality
changed design of CROSS-FLOAT-INFINITY-KLUDGE
renamed :PROPAGATE-FLOAT-TYPE and :PROPAGATE-FUN-TYPE
features to :SB-PROPAGATE-FLOAT-TYPE and
:SB-PROPAGATE-FUN-TYPE
renamed :CONSTRAIN-FLOAT-TYPE to :SB-CONSTRAIN-FLOAT-TYPE too
clarified TYPE-ERROR :TYPE in DEFUN SANE-PACKAGE
tweaked DEFCONSTANT handling so that CMU CL can handle the
DEFCONSTANT/DEFTYPE interaction in bit-bash.lisp
created SB-XC versions of various CL constants (e.g.
LEAST-POSITIVE-SINGLE-FLOAT) so that cross-compilation
of their DEFCONSTANT forms works more cleanly
reviewed uses of various CL constants and added SB!XC:
prefixes in compiled-on-host code: CALL-ARGUMENTS-LIMIT,
CHAR-CODE-LIMIT
split char.lisp into char.lisp and target-char.lisp so that
there'd be a suitable place to define CHAR-CODE-LIMIT
rewrote SOURCE-TRANSFORM-CXR stuff to avoid FORMAT call at
cold init time
suppressed bogus default DEFSTRUCT-generated COPY-READTABLE
hunting PROPAGATE-FOO-TYPE bug in compilation of OUTPUT-GSPACE..
..made MAKE-NUMERIC-TYPE enforce closed-bound invariant for
NUMERIC-TYPE-CLASS='INTEGER
..made MODIFIED-NUMERIC-TYPE to enforce NUMERIC-TYPE-CLASS
invariants; made slots read-only; rewrote
modify-NUMERIC-TYPE code to use MODIFIED-NUMERIC-TYPE
..moved FLET VALIDATE logic from CONSTRAIN-INTEGER-TYPE
and CONSTRAIN-FLOAT-TYPE to MAKE-NUMERIC-TYPE.
..Now COPY-NUMERIC-TYPE can go away.
..renamed BOUND-VALUE to SB!INT:TYPE-BOUND-NUMBER
factored out CTYPE-OF-NUMBER code
cross-type.lisp is type system code, so do it in SB!KERNEL.

0.6.11.25:
fixed bug 45a: restored COMPLEX-ACOS and friends from
sbcl-2.4.8's #-OLD-SPECFUN code, so that e.g.
(ACOS (COMPLEX 1 1)) works now

0.6.11.24:
restored floating point infinity support..
..Grep for SB-INFINITIES matches in SBCL and fix them.
..Remove DEFMACRO INFINITE and its calls.
..added a few floating point infinity test cases

0.6.11.23:
converted UNION :SIMPLE-SUBTYPEP method to use EVERY/TYPE
made tests/type.*-xc.lisp dependent on :SB-TEST
replaced ASSERT calls with AVER

0.6.11.22:
made REAL and FLOAT types be represented by UNION-TYPEs, to
fix the bug discussed on cmucl-imp as "bug in type
handling" ca. 2001-02-12
made COMPLEX type translator able to deal with new REAL and
FLOAT representations
enabled old commented-out type tests now that they can work

0.6.11.21:
fixed T-to-AT typo in DEFUN LISTEN
made CROSS-TYPEP understand SATISFIES types
rewrote the TYPE-UNION method :SIMPLE-INTERSECTION2 (and
:COMPLEX-INTERSECTION2) to return UNION-TYPE when
that's simpler than the result of just punting; now
bug 89 is fixed, (AND KEYWORD (OR KEYWORD NULL)=KEYWORD

0.6.11.20:
preparing to attack bug 89..
..allowed TYPE-INTERSECTION2, and its type methods, to return
INTERSECTION-TYPE values
..rewrote SIMPLIFIED-COMPOUND-TYPES so that it handles
COMPOUND-TYPE values returned from its SIMPLIFY2

0.6.11.19:
fixed bug 88: made CROSS-TYPEP support KEYWORD, so that
(SUBTYPEP '(MEMBER :FOO) 'KEYWORD)=>T,T
made CROSS-TYPEP use EVERY/TYPE and ANY/TYPE for AND and
OR types

0.6.11.18:
miscellaneous cleanups..
..made COPY-TYPE-CLASS-COLDLY use *TYPE-CLASS-FUNCTION-SLOTS*
to reduce duplication of information
..renamed all the DEFCONSTANT FOO definitions in reader.lisp
to DEFCONSTANT +CHAR-ATTR-FOO+ style
..renamed IN-BUFFER-LENGTH to +IN-BUFFER-LENGTH+ too
..and IN-BUFFER-EXTRA to +IN-BUFFER-EXTRA+
..moved byte-interp adjacent to other byte-foo in build order
..removed EVAL-WHEN around DEFTYPEs in bit-bash.lisp
..fixed DECLAIM of *FASL-FILE*, as per kon@iki.fi cmucl-help
2001-03-19 bug report

0.6.11.17:
(like the changes in 0.6.11.13, except for -UNION this time
instead of -INTERSECTION)
converted SIMPLE-/COMPLEX- -UNION to -UNION2
The old UNION :COMPLEX-UNION and UNION :SIMPLE-UNION methods
go away in favor of TYPE-UNION and TYPE-UNION2 logic
renamed old 2-arg TYPE-UNION to TYPE-UNION2, and revised
it to be more like TYPE-INTERSECTION2
defined new &REST-arg TYPE-UNION similar to the &REST-arg
TYPE-INTERSECTION defined in 0.6.11.13
made some old TYPE-UNION calls use &REST-arg generality
MAKE-UNION-TYPE-OR-SOMETHING goes away in favor of new
TYPE-UNION.
VANILLA-UNION becomes HIERARCHICAL-UNION2.
removed support for pre-ANSI SATISFIES types in CTYPEP

0.6.11.16:
Bug 86 isn't a bug. INTERSECTION is an unknown type. And
(specifier-type '(and (or number vector) real)) is ok.
moved FIXNUMP, BIGNUMP, and RATIOP to SB!INT
deleted TARGET-FIXNUMP in favor of SB-INT:FIXNUMP
added a xc definition of SB-INT:FIXNUMP in cross-type.lisp
fixed doc string for SB-INT:FIXNUMP
tweaked type predicate wrappers to facilitate lexical search

0.6.11.15:
some cleanups related to the type hackathon in 0.6.11.13..
..restored :TYPE declaration for FORMAT slot in NUMERIC-TYPE
..restored :TYPE declaration for TYPES slot in COMPOUND-TYPE
..moved LIST, CONS, and NULL to a more logical point in
*BUILT-IN-CLASSES*
..rearranged CTYPE, ANY/TYPE, and EVERY/TYPE to share code
..added tests related to CTYPE of COMPOUND-TYPE
..redid INTERSECTION :SIMPLE-SUBTYPEP to share EVERY/TYPE too
added tests for ANY/TYPE and EVERY/TYPE, fixed EVERY/TYPE
moved SWAPPED-ARGS-FUN earlier to facilitate inlining, putting
it in SB!INT so it can go in early-extensions.lisp
deleted unused LETF and LETF*

0.6.11.14:
response to MNA message sbcl-devel 2001-03-07..
..merged test case to exercise byte compiler bug
..merged patch to fix the bug
also merged Dan Barlow's explanation (sbcl-devel 2001-03-12)
into a comment in the source

0.6.11.13:
converted SIMPLE-/COMPLEX- -INTERSECTION to -INTERSECTION2
reviewed old SIMPLE-/COMPLEX- -INTERSECTION methods to make
them OK in the new world
made TYPE-INTERSECTION2 and TYPE-APPROX-INTERSECTION2 for
some things which used to call TYPE-INTERSECTION
made new with-&REST-list TYPE-INTERSECTION to replace
MAKE-INTERSECTION-TYPE-OR-SOMETHING
HIERARCHICAL-INTERSECTION is more descriptive than
VANILLA-INTERSECTION.
deleted unused SIMPLIFY2 stuff
deleted unused TYPE-INTERSECT and VALUES-TYPE-ALLOWP
Pure BOOLEAN TYPE-ENUMERABLE is too much trouble; relax to
generalized boolean instead.
tweaked DEFUN-CACHED so that it will work early in cold init
(if some clueless bozo happens to mess up types so
badly that it gets called early in cold init:-)
Now the AND type translator can just use TYPE-INTERSECTION.
added *SOFT-HEAP-LIMIT*
removed some unused symbols in SB!UNIX
tweaked /SHOW0 to automatically stringify and concatenate its
arguments, to abbreviate an idiom that I use a lot
wrote /HEXSTR0 to abbreviate another idiom
defined /PRIMITIVE-PRINT to abbreviate another idiom
DO-LOAD-TIME-CODE-FIXUP and DO-LOAD-TIME-VALUE-FIXUP are
only needed at cold init.
added tests/type.after-xc.lisp and tests/type.before-xc.lisp
upgraded SB-XC:TYPEP to handle (TYPEP #(1 2 3) 'VECTOR) etc.
Intersection with *EMPTY-TYPE* and *UNIVERSAL-TYPE* should
behave (and be commutative).
Guard against some type method operations on *. (easier than
worrying about them, or trying to make them right..)
moved STYLE-WARN and friends to SB-INT to eliminate thought
about whether they're visible e.g. in ir1tran.lisp
tripped over bug 84
made SB!C-CALL use SB!INT and SB!EXT so I can use /SHOW0 et al.
DEF-PRIMITIVE-TYPE stuff can become !DEF-PRIMITIVE-TYPE.
DEF-BOUNDED-TYPE and DEFINE-FLOAT-FORMAT can become
!DEF-BOUNDED-TYPE and !DEFINE-FLOAT-FORMAT.
moved DEFTYPE FLOAT-FORMAT earlier so that it's visible in
early-type.lisp (for NUMERIC-TYPE FORMAT slot :TYPE)
moved LIST, CONS, and NULL classes earlier in *BUILT-IN-CLASSES*
to try to help with RATIO cold init problem
removed pre-ANSI keyword-only stuff in ARG-INFO-KEYWORD and
in various &KEY-related error messages and symbol names
bug 12 fixed: (SUBTYPEP 'KEYWORD 'SYMBOL)=>T,T
added INTERSECTION-TYPE support to CTYPEP

0.6.11.12:
moved !PACKAGE-COLD-INIT earlier in cold init so that KEYWORDP
will work earlier
tidied up UNIX-SIGNAL machinery: no more DEFCONSTANTs,
no more re-interning, no more descriptions
tweaked RUN-PROGRAM to use UNIX-SIGNAL-NUMBER function instead
of old bare SIGFOO constants
It's easier and nicer just to coerce all RUN-PROGRAM args
than to require that they be SIMPLE-STRINGs.
made test/*.test.sh use local sbcl, not installed sbcl, just
as other tests do

0.6.11.11:
reduced code duplication code in FDEFINITION-OBJECT
defined *XTYPE?* to help support ongoing type experiments
started conditionally fully enabling INTERSECTION-TYPE
allowed HAIRY-TYPE elements in INTERSECTION-TYPEs after all,
since otherwise INTERSECTION-TYPE can't fix bug 12
redefined KEYWORD type as (AND SYMBOL (SATISFIES KEYWORDP))
added tests for bug 12 fixedness

0.6.11.10:
deleted trivial PRINT-OBJECT (FIXUP T) method
tweaked %%TYPEP to start on bug 10, but failed to fix up
type translators (so bug still exists)
Reject non-SYMBOL-valued predicates in SATISFIES types.
Reject bogus NOT type specifiers too. (modulo bug 10 anyway)
ANSI says TYPEP can return generalized boolean, not just
pure BOOLEAN, and having DEFKNOWN TYPEP declare it
narrower than that was unnecessarily fragile.
made %INCF-PCOUNTER-OR-FIXNUM non-inline, at least until it's
less buggy
INCF-PCOUNTER shouldn't be inline either.
PCOUNTER-FIXNUM slot should be unsigned.
added :COPIER NIL to lots of DEFSTRUCTs (just to make target
system a little smaller)

0.6.11.9:
enabled some INTERSECTION-TYPE stuff
made INTERSECTION-TYPE and UNION-TYPE share a parent
This changes the layout of UNION-TYPE: new fasl version again..
defined placeholder SOURCE-TRANSFORM-INTERSECTION-TYPEP

0.6.11.8:
deleted obsolete CONS-UNIQUE-TAG
That changes byte codes, so increment fasl file version.

0.6.11.7:
hacking on 0.6.11.5 patches, continued..
..MAKE-HASH-TABLE :TEST #'EQUAL uses 'EQUAL instead.
..tested that PRINT-PRETTY-ON-STREAM? stuff doesn't get
confused on Gray streams
..added test case for new byte compiler bug
..removed extra DUP in patched GENERATE-BYTE-CODE-FOR-SET
new DEFCONSTANT cleanups, as per AL, sbcl-devel, 2001-02-27
Wrapping DEFCONSTANT +EMPTY-HT-SLOT+ in EVAL-WHEN seems to
cause problems, so instead I moved the +EMPTY-HT-SLOT+
definition 'way early in stems-and-flags.lisp-expr.

0.6.11.6:
hacking on 0.6.11.5 patches..
..Various FIXNUM things in ASH DERIVE-TYPE need to be
TARGET-FIXNUM things.
..tweaked ASH DERIVE-TYPE to make it fit in 80 columns
..defined BECOME-DEFINED-FUNCTION-NAME and
PRINT-PRETTY-ON-STREAM? to reduce cut/paste
..deleted unused %FUNCTION-HEADER-ARGLIST-SLOT and
%FUNCTION-HEADER-NAME-SLOT

0.6.11.5:
MNA hack to DEFCONSTANT-EQX to support cmucl-2.4.19 as xc host
patches ported by MNA from CMU CL..
..no need to export the unused symbols %FUNCTION-HEADER-TYPE,
%FUNCTION-HEADER-ARGLIST, and %FUNCTION-HEADER-NAME
..Upon a stack trace ambiguity in X86-CALL-CONTEXT, choose the
Lisp frame in preference to the C frame as this is the
frame of interest.
..Limit the stack trace failure warning in X86-CALL-CONTEXT to
fails for the immediate frame rather then failures
deeper within the search.
..Catch missing slots in CONDITION-READER-FUNCTION, and signal
an error.
..PPRINT-NEWLINE, PPRINT-INDENT, and PPRINT-TAB should do
nothing when *PRINT-PRETTY* is false.
..Correct the pretty printing by PRINT-UNREADABLE-OBJECT. Only
attempt to print pretty when the stream is a
PRETTY-STREAM (and when *PRINT-PRETTY*) to ensure that
all output goes to the same stream.
..Have PRINT-UNREADABLE-OBJECT respect *PRINT-PRETTY*.
..Fix OUTPUT-CHARACTER to escape the CHAR-NAME. Rework
QUOTE-STRING to not write the delimiting quotes so
that it can be used by OUTPUT-CHARACTER.
..Within GENERATE-BYTE-CODE-FOR-SET, avoid trying to set a
lexical variable with no refs since the compiler
deletes such variables.
..Within SET-LEAF-VALUE-LAMBDA-VAR, avoid trying to set a
lexical variable with no refs since the compiler
deletes such variables.
..Rework the ASH DERIVE-TYPE optimizer to better handle large
negative bounds. Based on suggestions from Raymond Toy.
..Add a defensive declaration to PARSE-SPECIALIZERS.
..Add a defensive declaration to PARSE-DEFMETHOD, as well.
..Silence compiler warnings about undefined function
<hairy-make-instance-name> when compiling a method
containing a MAKE-INSTANCE call.
..Correct the printing of instance objects for which the
length was being incorrectly calculated.

(belated 0.6.11.2 checkin notes):
Add missing EVAL-WHEN wrappers for DEFCONSTANT, as per bug
report from Arthur Lemmens sbcl-devel 2001-02-23..
..the use of #.MAX-VOP-TN-REFS in vmdef.lisp
..(not in the sequence of DEFENUMs in early-objdef.lisp, at
least not yet, since it caused problems when I did)
Wrap DEFUN SYMBOLICATE in EVAL-WHEN so that we don't need
to worry about using it in DEFENUM.

0.6.11.4:
some foreshadowing for reenabling :PROPAGATE-FLOAT-TYPE
and :PROPAGATE-FUN-TYPE features
CONCAT-PNAMES goes away in favor of SYMBOLICATE.

0.6.11.3:
Wrap the DEFENUMs in early-objdef.lisp in EVAL-WHEN, to
finish 0.6.11.2/Lemmens bug fix. (This way works,
but EVAL-WHEN inside the DEFENUM macro didn't.)

0.6.11.1:
Address the out-of-order use of SAP-INT-TYPE pointed out by
 Arthur Lemmens on sbcl-devel 2001-02-21..
..Split target-allocate.lisp out of target-sap.lisp.
..target-sap.lisp moves late in stems-and-flags.lisp-expr, while
target-allocate.lisp stays in the same place.

0.6.11:
tag sbcl_0_6_11

0.6.10.23:
hacking MNA "pcl cleanups" megapatch, phase IV..
The SB-PCL package now USE-PACKAGEs SB-INT and SB-EXT.
SB-INT no longer exports unused E.
SB-INT:ITERATE is now called SB-INT:NAMED-LET, to avoid
collision with SB-PCL::ITERATE.
The SB-ITERATE and SB-WALKER packages now use SB-INT
and SB-EXT too.
Now lotso SB-INT: prefixes in src/pcl/*.lisp can go away.

0.6.10.22:
Sometimes anonymous function names are STRINGs. Make
%DESCRIBE-DOC and %DESCRIBE-FUNCTION-NAME handle that.
hacking MNA "pcl cleanups" megapatch, phase III..
(EVAL-WHEN (:LOAD-TOPLEVEL :EXECUTE) ..) becomes (PROGN ..)
or is elided completely.

0.6.10.21:
turned 'intern.*concatenate' grep matches to SYMBOLICATE
T is a self-evaluating constant and doesn't need to be quoted.
So is NIL.
hacking MNA "pcl cleanups" megapatch, phase II..
NAME-GET-FDEFINITION and NAME-SET-FDEFINITION become
FDEFINITION and (SETF FDEFINITION).

0.6.10.20:
hacking MNA "pcl cleanups" megapatch, phase I..
SB-PCL::%INSTANCE-REF and SB-PCL::INSTANCE-REF become
SB-PCL::CLOS-SLOTS-REF, an inline function.
DEF-CONSTANTLY-FUN doesn't want FDEFINITION after all.

0.6.10.19:
MNA pointed out that bug #25 is gone.
applied MNA "pcl cleanups" megapatch from sbcl-devel 2001-02-19
(will be hacked on some more soon, as per my reply and
ensuing discussion)

0.6.10.18:
MNA bugfixes from sbcl-devel 2001-02-14..
fixed BUG 34 (concerning byte-comp.lisp)
fixed error reporting accessing a missing PCL slot
increased *COMPILER-ERROR-FOO* defaults (by even more than MNA
proposed)

0.6.10.17:
removed LIST-FIRST arg from ANY/TYPE and EVERY/TYPE
replaced MAKE-UNION-TYPE with MAKE-UNION-TYPE-OR-SOMETHING
increased *COMPILER-ERROR-PRINT-FOO* values at MNA's suggestion
MNA pointed out that bug 80 was fixed by his earlier patch.

0.6.10.16:
simplified ANY-TYPE-OP and EVERY-TYPE-OP, and renamed them to
ANY/TYPE and EVERY/TYPE since the interface changed
PUNT-TYPE-METHOD now local and used only once, renamed to PUNT

0.6.10.15:
MNA patches from sbcl-devel e-mail 2001-02-10: Make %DEFUN
update INFO better, and (originally due to Paolo
Amoroso on cmucl-imp) clean up debugger restarts.
also degraded FTYPE mismatch to a STYLE-WARNING instead of
a full WARNING

0.6.10.14:
fixing bug 40..
UPGRADED-ARRAY-ELEMENT-TYPE now signals an error when the type
is undefined.
TYPEP and SUBTYPEP now catch type arguments which are arrays
with undefined element types.
also cleaned up UPGRADED-COMPLEX-PART-TYPE a little..
UPGRADED-COMPLEX-PART-TYPE signals an error for undefined type.
UPGRADED-COMPLEX-PART-TYPE always returns a value which is a
subtype of REAL.

0.6.10.13:
fixed problems reported by Douglas Brebner 2000-01-01..
make.sh and friends now use foo/bar instead of foo/bar/ to
specify directories, since foo/bar/ fails on NetBSD.
(SETF ALIEN:EXTERN-ALIEN) works (instead of dying with
undefined function SB-KERNEL:%SET-SAP-REF-32).

0.6.10.12:
defined OBJECT-NOT-COMPLEX-VECTOR-ERROR
merged MNA patch for #'APPLY error-reporting
added MNA regression test for bug #39

0.6.10.11:
fixed problem pointed out by Raymond Wiker: DEFCONSTANT-EQX
now EVALs EXPR only once per situation
tweaked some compiler output for better line breaking

0.6.10.10:
defined methods for INTERSECTION-TYPE by analogy with
UNION-TYPE methods
added a few tests for the type system

0.6.10.9:
moved BLOCK PUNT-TYPE-METHOD into !DEFINE-TYPE-METHOD
macroexpansion template
made AND types expand into INTERSECTION-TYPE unless they're
too hairy

0.6.10.8:
made Dan Barlow's proposed changes #1 and #4 (from his
sbcl-devel message 2000-01-25)..
#1: x86-validate.h stuff is no longer machine-dependent, so it
is merged into validate.h. x86-validate.h goes away.
#4: runtime.c calls arch_init() again (as in original CMU CL)

0.6.10.7:
merged MNA "minor patches" collection (sbcl-devel 2000-01-25):
logical pathname support for LOAD-1-FOREIGN, and
changes in regression tests (reflect 0.6.10.5 change,
new tests for Gray streams, and fix reader test)
fixed run-tests.sh to check all *.pure.lisp (not just one!)

0.6.10.6:
defined INTERSECTION-TYPE by analogy with UNION-TYPE (aiming
to fix bug #12)
renamed PUNT blocknames in type methods to PUNT-TYPE-METHOD
renamed PUNT-IF-TOO-LONG to PUNT-PRINT-IF-TOO-LONG

0.6.10.5:
MNA patch: Empty namestrings are now "" instead of NIL.
(sbcl-devel 2001-01-24)

0.6.10.4:
merged MNA "Gray streams" (+ packaging tweaks too) patch from
sbcl-devel 2001-01-20
deleted old gray-stream-stubs stuff
boosted fasl file version (new stream class layout)

0.6.10.3:
DESCRIBE now works on STRUCTURE-OBJECTs again.

0.6.10.2:
merged MNA LOAD-FOREIGN patch (sbcl-devel 2001-01-10)
tweaked LOAD-FOREIGN and RUN-PROGRAM to use :ENVIRONMENT
instead of lossy :ENV by preference
renamed GET-UNIX-ENVIRONMENT to SB-EXT:POSIX-ENVIRON, by
analogy with SB-EXT:POSIX-GETENV
removed (MERGE-PATHNAMES PROGRAM "path:") in RUN-PROGRAM,
since it refers to a search list which isn't
defined in SBCL (and since I'd like to remove all
support for search lists anyway).
SB-EXT is a public interface package not really intended as a
home for implementations; switched IN-PACKAGEs
to use SB-IMPL instead
To support this, SB-IMPL should USE SB-C-CALL and SB-ALIEN
as SB-EXT does.
made RUN-PROGRAM default to copying Unix environment
added LOAD-FOREIGN and RUN-PROGRAM test cases

0.6.10.1:
made revised STRING-FOO functions accept string designators
instead of just strings (thanks to MNA bug report)

0.6.10:
got confused and tagged -- I think -- 0.6.9.23 as sbcl_0_6_10
redid distribution scripts so that .tar files expand into
sbcl-x.y.z/ instead of ./

0.6.9.23:
fixes in code-extra and compiler-extra
Don't use deprecated POSITION-IF-NOT.

0.6.9.22:
moved my optimization patches to contrib/ so that I can keep
them under the same revision control as SBCL itself
Fix declarations in host-alieneval.lisp so that
DEF-ALIEN-VARIABLE will work.

(0.6.9.21, continued:)
checked in overlooked file

0.6.9.21:
strengthened condition system error-checking to fix the bug
reported by Eric Marsden on cmucl-imp@cons.org
2001-01-06
undid DEFTRANSFORM %WITH-ARRAY-DATA since it didn't work right
WITH-ARRAY-DATA :OFFSET-VAR stuff tidied up (e.g. no longer
IGNORABLE)
replaced amazing old STRING-FOO functions with smaller,
simpler, slightly slower versions

0.6.9.20:
MNA patch for bug #30 and other readtable-related stuff
added tests for FIND and friends (anticipating new transforms)
fixed dumb error-reporting bug in CANONIZED-DECL-SPEC

0.6.9.19:
set *AUTO-EVAL-IN-FRAME* default to NIL to work around failure
at debug prompt after Ctrl-C

0.6.9.18:
fixed stupid wrong-stream bug in %DESCRIBE-COMPILED-FROM
MNA's filesys patches (from sbcl-devel 26 Dec 2000)
added DEFTRANSFORM for %WITH-ARRAY-DATA en route to speeding
up SORT, FIND, and other things

0.6.9.17:
deleted *INITIAL-POLICY* and *INITIAL-INTERFACE-POLICY*, since
they seem irrelevant in the ANSI world of 1 source
file per compile command
deleted *INITIAL-PACKAGE* for the same reason
renamed *DEFAULT-POLICY* and *DEFAULT-INTERFACE-POLICY* to
*POLICY* and *INTERFACE-POLICY*
made PROCESS-OPTIMIZE-DECL remove duplicate alist entries

0.6.9.16:
Happy New Year! May all your projects be on schedule.:-|
renamed POLICIES to LTN-POLICY
removed some inlining in ltn.lisp
simplified LTN-ANALYZE-BLOCK in ltn.lisp (removing caching)
added code to catch bogus full calls
tweaked PROFILE so it accepts (SETF FOO)-style names
tweaked DEFPRINTER to conserve whitespace
moved DEFPRINTER to SB-INT, since it's not compiler-specific

0.6.9.14:
renamed more PCL stuff for unintern after warm init
CONSTANTLY now returns only a single value, as per ANSI.
removed CONSTANT-FUNCTION declaration support
PROCLAIM now recognizes ANSI abbreviated type declarations,
sharing code with DECLARE to do so.
DECLARE no longer supports old-style (CLTL1) FUNCTION decls.
removed some PCL nonstandard decls
renamed other nonstandard PCL decls to look more private
removed (DECLARE (SB-PCL::CLASS ..)) hack in DECLARE logic

0.6.9.13:
(The "version broken" problem above was because the change
in POLICY type was not binary compatible, and I didn't
bump the version number, and I was crashing in some
private .sbclrc code compiled under the old system.
Oops..)
The POLICY-QUALITY type no longer includes NULL.
renamed more PCL stuff for unintern after warm init

0.6.9.12:
(This version is broken. It builds, but can't build itself,
dying in vop.lisp with what looks like memory
corruption. 0.6.9.11 might be broken the same way.)
no more special support for DECLARE SB-PCL::CLASS
moved policy stuff into policy.lisp
moved !UNINTERN-INIT-ONLY-STUFF to after warm init
renamed some PCL stuff to make it be uninterned after warm init

0.6.9.11:
more cleanups of optimization policy machinery..
renamed CSPEED slot to COMPILATION-SPEED, and BREVITY slot to
INHIBIT-WARNINGS, and got rid of other BREVITY refs
STRUCTURE-OBJECT-based POLICY caues too many cold init hassles
w/ COPY-POLICY and slot accessors. Use alists instead.
Now PROCESS-OPTIMIZE-DECLARATION can look up qualities
directly in *POLICY-BASIC-QUALITIES*.

0.6.9.10:
ANSI fix: PARSE-NAMESTRING signals TYPE-ERROR on host mismatch.
various cleanups in optimization policy machinery..
renamed COOKIE to POLICY
used *POLICY-QUALITY-SLOTS* in POLICY-related def'ns
simplified POLICY macro: no implicit AND
factored out MAYBE-FP-WAIT policy dependence in float.lisp

0.6.9.9:
added remaining MNA logical pathname regression tests to tests/
fixed my screwed-up CFP-OUTPUT-FILE-DEFAULT implementation
fixed PARSE-NAMESTRING so it always returns two values
added DEFKNOWNs for logical pathname stuff

0.6.9.8:
MNA logical pathname patch (sbcl-devel Dec 12), lightly subbed
added most MNA logical pathname regression tests to tests/
belatedly bumped fasl file version because package
SB-CONDITIONS is gone

0.6.9.7:
fixed cross-compilation under CMU CL (Viva la Alpha port!)

0.6.9.6:
MNA patch to merge package SB!CONDITIONS into SB!KERNEL

0.6.9.5:
BACKEND-BYTE-FASL-FILE-TYPE goes away as per 0.6.9.4.
Simplify TRY-DEFAULT-TYPES and friends by using single default
types instead of lists of default types.
more work on bug #17, loosely based on MNA's patch; still broke
started tests/pathnames.impure.lisp
failed to fix cross-compilation under CMU CL

0.6.9.4:
MNA software-version patch + Raymond Wiker FreeBSD corrections
started fix for bug #17 (loosely based on MNA's patch) by
ANSIfying COMPILE-FILE-PATHNAME
*DEFAULT-PATHNAME-DEFAULTS* and SEARCH-LIST stuff can be
initialized in a toplevel form, so !FILESYS-COLD-INIT
can go away.

0.6.9.3:
As per Raymond Wiker, FreeBSD really does need
CANNOT_GET_TO_SINGLE_STEP_FLAG.
applied MNA patch, fixed Linux signal handling, woo hoo!

0.6.9.2:
renamed "linux-stubs" to "ldso-stubs"
removed old BSD-only ld.so stubs

0.6.9.1:
added FLUSH-STANDARD-OUTPUT-STREAMS in INVOKE-DEBUGGER
applied Raymond Wiker's patch to share the stubs code from
Linux (instead of using BSD-only stubs)

0.6.9:
MNA debug/error patch: fixes to help view SIGINT problems

0.6.8.26:
MNA megapatch to src/runtime/, zillions of little fixes

0.6.8.25:
redid DEFMETHOD macroexpansion, fixing bug 9 (problems with
IGNORE/IGNORABLE declarations) and generally
tidying up
added copyright boilerplate to tests/*.lisp

0.6.8.24:
fixed bug 8 by replacing (ERROR 'PROGRAM-ERROR ..) by
(ERROR 'SIMPLE-PROGRAM-ERROR ..) everywhere
tweaked MNAME-SYM in DEFMETHOD to avoid dependence on *PACKAGE*

0.6.8.23:
fixed bug 5: TYPE-ERROR-signalling stubs for Gray stream funs

0.6.8.22:
gave up fixing bug 3, documented workaround instead:-|
fixed bug 4: no WARNING for DECLAIM FTYPE for slot accessor fun

0.6.8.21:
rewrote DEBUG-PROMPT to be less confusing when ILISP and SBCL
fight and end up 8+ levels deep in the debugger, then
relented and gave some advance warning of prompt change
deleted unsupported *DEBUG-PROMPT*
We don't really need an END-OF-THE-WORLD restart. The point was
to make sure a naive user can get out with Ctrl-C. So
mention (SB-EXT:QUIT) in entering-the-debugger message.
reduced choice-of-output-stream chaos in debugger

0.6.8.x:
updated NEWS and BUGS to reflect merged MNA megapatch

0.6.8.19:
tweaked debug frame printing to discourage too-long lines
"Arg" is a great abbrev, but not great enough for error msgs.
fixed *DEBUGGER-HOOK* thinko

0.6.8.18:
removed MNA "which patch is this?" comments
removed undocumented "MNA: locally patch" patch

0.6.8.17:
deleted more unused stuff

0.6.8.16:
miscellaneous cleanups

0.6.8.15:
merged DTC's compound CONS type patches
enabled (and fixed) tests in tests/compound-cons.impure.lisp
canonicalized types (CONS *) etc. to (CONS T) etc.

0.6.8.14:
deleted MNA's tweaked version of DTC's compound CONS type

0.6.8.13:
added tests for compound CONS types

0.6.8.12:
removed "MNA: open-coded-simple-array patch"
Argh! typecase-implicit-declarations doesn't add declarations
after all.. just a messy no-op! And when I rewrite it
to 'work', I finally notice it's a fundamentally broken
idea. Gads. Delete it (and hope for real fix for #62).
left small rewrites in CASE-BODY: Naming quantities is good.
exported SB-KERNEL:%PUTHASH so DEFUN sees DEFKNOWN & vice versa
removed bogus FOLDABLEness from hash table accessors

0.6.8.11:
SANE-PACKAGE now issues TYPE-ERROR, not just vanilla ERROR.
removed *COMPILE-TIME-DEFINE-MACROS*
added DTC comments clarifying that "MNA: dump-circular hack"
is a suboptimal solution
added underlying MNA typecase-implicit-declarations problem
to the BUGS list as bug #62
finished reviewing MNA megapatch (but haven't removed
rejected open-coded-simple-array-patch yet)

0.6.8.10:
tested for bug 21, didn't find it, removed it from BUGS.
added SANE-PACKAGE to handle non-PACKAGE values of *PACKAGE*
deleted some unused and redundant stuff from PCL

0.6.8.9:
tweaked DEFCONSTANTs to be more ANSI-compliant (as required
when building using an XC host incorporating changes
from the previous commit) and generally cleaner
        got rid of DEFCONSTANT WRAPPER-LAYOUT completely, which was
used only by STRUCTURE-WRAPPER, which is now gone
added SB-INT:DEFCONSTANT-EQX to help ANSIfy DEFCONSTANTs
merged several small files into primordial-extensions.lisp
converted DEFMACRO DEFCONSTANT to use EVAL-WHEN instead of
IR1 magic, in order to make it ANSI enough for
DEFCONSTANT-EQX to work
removed various nested EVAL-WHENs (to help cross-compiler)
identified bug IR1-3, added workaround in DO-EVAL-WHEN-STUFF
incremented fasl file version (because of mismatch between
old IR1 magic %DEFCONSTANT/%%DEFCONSTANT behavior and
new EVAL-WHEN %DEFCONSTANT behavior)
deleted some unused code
fixed (DEFCONSTANT X 1) (DEFVAR X) (SETF X 2) bug

0.6.8.9:
tweaked DEFCONSTANTs to be more ANSI-compliant (as required
when building using an XC host incorporating changes
from the previous commit) and generally cleaner
        got rid of DEFCONSTANT WRAPPER-LAYOUT completely, which was
used only by STRUCTURE-WRAPPER, which is now gone
added SB-INT:DEFCONSTANT-EQX to help ANSIfy DEFCONSTANTs
merged several small files into primordial-extensions.lisp
converted DEFMACRO DEFCONSTANT to use EVAL-WHEN instead of
IR1 magic, in order to make it ANSI enough for
DEFCONSTANT-EQX to work
removed various nested EVAL-WHENs (to help cross-compiler)
identified bug IR1-3, added workaround in DO-EVAL-WHEN-STUFF
incremented fasl file version (because of mismatch between
old IR1 magic %DEFCONSTANT/%%DEFCONSTANT behavior and
new EVAL-WHEN %DEFCONSTANT behavior)
deleted some unused code
fixed (DEFCONSTANT X 1) (DEFVAR X) (SETF X 2) bug

0.6.8.8: undid "MNA: re-defconstant patch", added long explanation

0.6.8.7: working regression tests for problems fixed by MNA megapatch

0.6.8.6: applied MNA megapatch (will be edited shortly)