0.6.12.5:
made tests/foreign.test.sh more OpenBSD-friendly
more Alpha patch tweaking..
..removed extra "#define QSHOW 1" so that C-level
describe_internal_error() becomes a debugging-only
thing again
..copied boilerplate text into the head of the new files
(and moved some information from the head of the new
files to CREDITS)
..lotso cosmetic formatting changes
..deleted src/compiler/alpha/print.lisp, since it's
redundant with src/compiler/alpha/show.lisp
..deleted "dead file" src/runtime/alpha-validate.h
..removed in-the-flow-of-control EXPORTs and USE-PACKAGEs
(in favor of centralized control in
package-data.lisp-expr)

0.6.12.4:
made grovel-headers.c run automatically as part of the build
process (so that the automatically-generated file
output/stuff-groveled-from-headers.lisp replaced the
old symlink src/code/target-os-types.lisp)
redid grovel_headers.c DEFCONSTANT macro as function
removed 'ln -sf $sbcl_arch-linux-types.lisp' stuff (from
src/runtime/make-config.sh??)
redid the definition of a stem in stems-and-flags.lisp,
as a relative path from SBCL base directory instead
of from the src/ subdirectory, so that it can now
refer to "output/stuff-groveled-from-headers.lisp

0.6.12.3:
NOTE: This is a slightly screwed-up checkin, which won't
quite build as is, because the checked-in changes from
the Alpha port expect various src/code/*types.lisp
files (e.g. src/code/x86-linux-types.lisp) which
Daniel Barlow created by hand once and for all. Those
are in my working directory but I didn't check them in
because almost immediately, probably 0.6.12.4, I
expect to rearrange things so that the build
process generates a types file on every run of
make.sh. So since CVS add/delete is a little mixed up,
I thought I'd just skip it, even though it means that
this version isn't quite buildable unless you grab
those files from DB's patch.
merged Daniel Barlow's port to the Alpha CPU sbcl-devel
2001-05-04
moved CIRCULAR-LIST-P to early-extensions.lisp (since it
logically belongs there, and DB's new definition,
unlike the old one, doesn't have a physical dependence
on IGNORE-ERRORS which prevents it from being there)
merged boot-extensions.lisp, early-extensions.lisp, and
late-extensions.lisp, since there's no longer any
distinction between the files
deleted CVS files from sbcl-alpha-extra-files.tar, since
they were probably an oversight, I think
also src/compiler/alpha/z050.pdf:-|
The patch change
-  (/hexstr arguments)
+  #!+sb-show (/hexstr arguments)
shouldn't be necessary because /SHOW, like all the
/FOO macros, is already conditional on SB-SHOW. So I
undid this change (and added some comments in
src/code/show.lisp explaining the intended behavior
of /FOO macros).
merged stat_wrapper.c into the relatively new, related
wrap.c file; deleted stat_wrapper.h since stat wrappers
seem never intended to be used by C code anyway
renamed build-tools/ to tools-for-build/ in the interest of
unambiguous (even painfully unambiguous)
globally-visible names
tweaked tests/alien.impure.lisp so that the test uses a
non-GENCGC-dependent variable (instead of having to
have the test conditional on #+GENCGC).

0.6.12.2:
MNA port of DTC VALUES declarations patch
sbcl-devel/2001-05-04

0.6.12.1:
MNA dumping-a-logical-host patch sbcl-devel/2001-05-02
MNA catch-init-file-errors patch sbcl-devel/2001-05-03
MNA port of DTC UNREAD-CHAR/CLEAR-INPUT patch for
encapsulated streams sbcl-devel/2001-05-03

0.6.12:
removed a little REMOVEME stuff, otherwise like 0.6.11.45

0.6.11.45:
more MNA byte-compilation patches (sbcl-devel 2001-04-30 and
2001-05-02)

0.6.11.43:
MNA warm init byte-compilation patch (sbcl-devel 2001-04-14);
except that I didn't clobber the DEFKNOWNs for
funcallable instance accessors
fixed the byte-compile-time warning problem in describe.lisp
by redefining SB-PCL::GET-SLOTS-OR-NIL as a function
merged pcl/fin.lisp into pcl/low.lisp in order to unscrew
some assumed-to-be-function-but-then-defined-as-macro
problems, and because now that our PCL is SBCL-specific
pcl/fin.lisp stuff can mostly wither away anyway
inlined CLOS-SLOTS-REF and (SETF CLOS-SLOTS-REF)
deleted DOCTOR-DFUN-FOR-THE-DEBUGGER and
RECORD-DEFINITION

0.6.11.42:
MNA port (sbcl-devel 2001-04-14) of DTC cmucl-imp patch: Use
VALUE-CELL objects rather than conses for the
interpreter's value cells.
more ANSI compliance: BREAK binds *DEBUGGER-HOOK* to NIL
before calling INVOKE-DEBUGGER.
SIGINT handling no longer uses CL:BREAK (which rebinds
*DEBUGGER-HOOK* before doing INVOKE-DEBUGGER, screwing
up --noprogrammer handling) but instead calls
INVOKE-DEBUGGER more directly.
NOPROGRAMMER-DEBUG-HOOK-FUN now terminates "normally"
(calling Unix exit(3), not falling into infinite
recursion in Lisp-level error trapping) even
when shell/pipeline/SIGINT or other mischief hoses
its low-level output streams.
renamed FASLOAD and SLOLOAD to LOAD-AS-FASL and LOAD-AS-SOURCE,
so that users have a better chance of understanding
them when they appears in BACKTRACE

0.6.11.41:
moved Unix opendir/readdir/closedir iteration down to C level
so that cruft can be read directly from #include files
replaced old *UNIX-ERROR* cruft with STRERROR and
SIMPLE-PERROR and a few DEFCONSTANTs
increased ANSIness of error reporting in fd-stream.lisp

0.6.11.40:
added code to support coming changes in (probably) 0.6.11.41..
..moving Unix opendir/readdir/closedir iteration down to the C
level, so that all structure layouts and whatnot can be
read directly from #include files, so that directory
operations become inherently portable (or at least as
much as C/Unix ever is:-) and work on OpenBSD
..replacing old *UNIX-ERROR* cruft with STRERROR and
SIMPLE-PERROR
GET-ERRNO belongs in SB-C-CALL, it's not Unix-specific.

0.6.11.39:
trivial changes syncing my OpenBSD and Linux checkouts

0.6.11.38:
got rid of CONDITION-FUNCTION-NAME logic, since it was messy
and it didn't work very well and, given BACKTRACE, it
seemed mostly redundant
bumped fasl file version since CONDITION layout changed
renamed FIND-CALLER-NAME to FIND-CALLER-NAME-AND-FRAME
used BREAK's *STACK-TOP-HINT* idiom in ERROR and CERROR too
removed PRINT-SIMPLE-ERROR stuff, so that SIMPLE-ERROR just
prints as SIMPLE-CONDITION
WHITESPACE-CHAR-P belongs in target-char.lisp (and in SB!INT).

0.6.11.37:
MNA 2001-04-13 CHECK-TYPE/STORE-VALUE patch
replaced CHECK-TYPE calls with lighter-weight stuff
rewrote CHECK-TYPE-VAR with lighter-weight stuff
redid STREAM-ASSOCIATED-WITH-FILE-P
renamed PARSE-OPERANDS to !PARSE-VOP-OPERANDS, and
GROVEL-OPERANDS to !GROVEL-VOP-OPERANDS, and
PARSE-OPERAND-TYPES to !PARSE-VOP-OPERAND-TYPES
(and queued up various FOO -> !FOO renamings for
after Alpha port is merged)
made INVALID-METHOD-ERROR and METHOD-COMBINATION-ERROR
stop screwing around with DEFVARs
added *DEBUG-BEGINNER-HELP-P*

0.6.11.36:
added support for --noprogrammer command line option
tweaked tests/*.test.sh stuff to use the most recently built
SBCL in the current tree (as other tests/* stuff does)
renamed some FD-STREAM stuff to be more explicit
PICK-BACKUP-NAME and ENSURE-ONE-OF needn't be so general.
reduced generality of BEEP too
ENSURE-ONE-OF should signal a TYPE-ERROR.
converted some other CERRORs to ERRORs; redid OPEN errors
rearranged error output to use pretty printer more

0.6.11.35:
fixes for problems reported by Nathan Froyd on sbcl-imp
2001-04-11..
..changed "EXT:" to "SB-EXT:" in  OUTPUT-FLOAT-INFINITY
..fixed screwed-up indentation in iterated DESCRIBE
fixed --notty/--noprogrammer confusion reported by Christopher
Rhodes sbcl-devel 2001-04-08, and generally rewrote
sbcl.1 --noprogrammer documentation in anticipation of
the way it's likely to actually work
various other sbcl.1 revisions
NO-APPLICABLE-METHOD doesn't need to do CERROR. (And its
message can be printed more prettily, too.:-)

0.6.11.34:
eliminated distinction between ordinary optimization policy
and *INTERFACE-POLICY*
eliminated *INTERFACE-POLICY* stuff, including INTERFACE flags
to IR1-CONVERT-AUX-BINDINGS, IR1-CONVERT-LAMBDA-BODY,
IR1-CONVERT-SPECIAL-BINDINGS
converted &OPTIONAL args in IR1-CONVERT-LAMBDA-BODY to &KEY
*POLICY-BASIC-QUALITIES* becomes *POLICY-QUALITIES*
merged redundant OPTIMIZATION-QUALITY-P and
POLICY-QUALITY-NAME-P
(Bug 87 was fixed by getting rid of interface policy stuff.)
merged nearly-irrelevant SB-INSPECT package into SB-IMPL
rearranged new function definition vs. declaration type
checking, so that the compiler won't die when
(DECLAIM (FTYPE FUNCTION F)) (DEFUN F ..)
removed src/compiler/c.log (>10-year-old log file)
added *.impure-cload.lisp category of tests, and moved
compiler-1.impure.lisp to that category so that
it's compiled as it should be

0.6.11.33:
bug fixes from cmucl-imp..
..duplicate keys in macro arg lists, Pierre Mai, 2001-03-30
..SXHASH of strings with fill pointers, Tim Moore, 2001-03-29
(was actually already fixed in SBCL, but I added a
test case or two to make sure that it stays fixed)
added/enabled regression tests for SXHASH and PSXHASH
Screwed-up lambda list syntax isn't a continuable error.

0.6.11.32:
MNA patches from sbcl-devel..
..package cleanup (2001-03-29)
..bug 94 compiler type mismatch nondetection fix (2001-03-30)
(started trying to fix bug 87, following MNA 2001-04-04 patch,
but fix doesn't work yet)
renamed TYPES-INTERSECT and VALUES-TYPES-INTERSECT to
TYPES-EQUAL-OR-INTERSECT and
VALUES-TYPES-EQUAL-OR-INTERSECT
removed redundant quotes from self-evaluating constants
build-under-CMU-CL fixes from Christophe sbcl-devel 2001-04-05
added CMU CL 18c workaround in cross-float.lisp

0.6.11.31:
Pierre Mai READ-SEQUENCE/CONCATENATED-STREAM fix (cmucl-imp
2001-03-26)
removed broken ".~D" file versioning
added PRINT-OBJECT for LOGICAL-HOST so that LOGICAL-PATHNAMEs
would print more nicely
added ~_ in PRINT-OBJECT (LOGICAL-PATHNAME T)
removed unused &OPTIONAL INDENT from DEFPRINTER-FOO functions
removed redundant/ugly indentation in DEFPRINTER expansion

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