0.6.12.49:
made verbose GC output report GET-INTERNAL-RUN-TIME when each
GC happens, so that when you reading a log containing
many verbose GC messages, you have a better chance of
grokking what happened
fixed POSIX-GETENV doc string after Alexey Dejneka pointed out
that it was wrong

0.6.12.50:
removed some #+OpenBSD stubifications, since FILE-LENGTH is no
longer completely broken on OpenBSD now
fixed the skip-trailing-whitespace logic in READ so it no
longer requires a second Ctrl-D char to return EOF

0.6.12.51:
merged MNA HANDLER-CASE patch: Since the compiler seems to be
smart enough to handle it now, use lexical scoping
again instead of the previous dynamic scoping
workaround; and also do #+X86 (FLOAT-WAIT).

0.6.12.52:
quasimerged MNA fix-GCC-warnings patch (sbcl-devel
2001-07-17), editing the source by hand
also made other tweaks to fix GCC warnings
fixed memory leak in wrapped_readlink()

0.6.12.53:
merged MNA port of rtoy COERCE and ARRAY-ELEMENT-TYPE
DEFOPTIMIZERs from CMU CL (sbcl-devel 2001-07-16)
merged MNA port of rtoy irrational math fixes (sbcl-devel
2001-07-16)
added MNA regression tests of irrational functions

0.6.12.54:
merged MNA port of cachopo COPY-READTABLE fix (sbcl-devel
2001-07-17)
merged MNA port of mai DESCRIBE-a-class fix (sbcl-devel
2001-07-17)

0.6.12.55:
added distclean.sh to remove stuff like
customize-target-features.lisp
DEFCONSTANT *FOO* now issues a STYLE-WARNING.
factored out LOOKS-LIKE-NAME-OF-SPECIAL-VAR-P to support this
removed call to no-longer-defined OUTPUT-INTERPRETED-FUNCTION
in PRINT-OBJECT method for INTERPRETED-FUNCTION (which
will hopefully go away real soon anyway)

0.6.12.56:
fixed bug 26: ARRAY-DISPLACEMENT now returns (VALUES NIL 0)
for undisplaced arrays.
fixed bug 55: DEFMACRO-MUNDANELY no longer ignores DOC.
DEFMACRO-MUNDANELY should be in SB-INT.

0.6.12.57:
set default for *DERIVE-FUNCTION-TYPES* to NIL (i.e. ANSI
behavior)
overrode the default within the cross-compiler, so that SBCL
itself is still built the old static efficient way

0.6.12.58:
fixed the DCONSING carry case in PROFILE
ported CMU CL fix to FILL-POINTER-OUCH (Tim Moore's fix
to Janne Rinta-Manty's bug report)
added MNA fix for FIX-CORE-SOURCE-INFO

0.6.12.49:
made verbose GC output report GET-INTERNAL-RUN-TIME when each
GC happens, so that when you reading a log containing
many verbose GC messages, you have a better chance of
grokking what happened
fixed POSIX-GETENV doc string after Alexey Dejneka pointed out
that it was wrong

0.6.12.48:
made ldb conditional on :SB-LDB in *FEATURES*. (Dan Barlow
likes having the system stop on an ldb> prompt even
when running as a batch program, but for me it's a
nuisance. I want sh make.sh to terminate when it hits
an error, period, since typically I make it beep when
it's done. And since ldb isn't really appropriate for
the problems that ordinary users have to deal with,
it should be reasonable to suppress it by default,
which is an overkill way to keep my system from
stopping on an ldb> prompt.)
more gencgc tidying..
..hardwired enable_pointer_filter conditionalization to
always be enabled
..renamed the PTR() and Pointerp() macros to
native_pointer() and is_lisp_pointer() inline
functions

0.6.12.47:
more poking around in gencgc, tweaking comments and formatting
and names
deleted "#ifdef CONTROL_STACKS" stuff

0.6.12.46:
(got confused, thought GENCGC was excessively conservative,
tried to fix it, then backed out)
tweaked a lot of comments and some names in gencgc.c
made GENESIS systematically propagate *SHEBANG-FEATURES*
entries into #define's in sbcl.h. (This isn't currently
used for anything -- I wrote it to support my confused
make-GENCGC-less-conservative effort, which no longer
exists. However, it seems harmless and could be useful
e.g. for making C-level code depend on SB-SHOW, so I
left it in.)

0.6.12.45:
(This version/commit actually includes some stuff from the Dave
MacDonald patch logged in the 0.6.12.44 message, since
CVS got stuck somehow and didn't finish that commit.)
(and also left a stale lock in place for days..)
some *EVAL-STACK* fixes..
..removed CURRENT-STACK-POINTER macro, since (1) its name is
confusing (suggesting the system stack, not the eval
stack; especially since the CURRENT-STACK-POINTER vop
*does* refer to the system stack!) and (2) abstracting
away the fact that this is a special variable is,
given the INTERPRETER-GC-HOOK hack to scrub the eval
stack, an unfortunate invitation to subtle GC bugs
..renamed STACK-COPY to EVAL-STACK-COPY
..made *EVAL-STACK-TRACE* stuff dependent on #!+SB-SHOW
..renamed EVAL-STACK-SET-TOP to EVAL-STACK-RESET-TOP
I also made *INTERNAL-APPLY-NODE-TRACE* stuff dependent on
#!+SB-SHOW, even though in retrospect that was
probably silly, since it's only in IR1 interpreter
code, which I hope to blow away next month anyway.

0.6.12.44:
merged Dave MacDonald patch (sbcl-devel 2001-07-04): cleanup
of COMPILE-FILE cruft left over from transition to
compiling only one file at a time; plus a few
WHN modifications..
..INDEX isn't actually ignored in FIND-SOURCE-ROOT
..(IF (PATHNAMEP X) X (PATHNAME X)) => (PATHNAME X)
..more-explicit names in general
..expanded remaining FIND-FILE-INFO call into something which
still works now that DEFUN FIND-FILE-INFO is gone
Also, while I'm at it, SOURCE-INFO-FILE-INFO is a better
name than SOURCE-INFO-FILE.

0.6.12.43:
made PEEK-CHAR check its argument type explicitly, so
it will issue a TYPE-ERROR on e.g.
(WITH-INPUT-FROM-STRING (S "SZ[19]")
    (PEEK-CHAR S))
instead doing PEEK-CHAR on *STANDARD-INPUT*
fixed completely-broken bignum-sized-consing code path in
profile.lisp (Code coverage testing? What's that?:-)
merged MNA/CMUCL compiler bug collection (sbcl-devel
2001-06-25) to BUGS

0.6.12.42:
more profiling stuff..
..rearranged DCONSING arithmetic in profile wrappers so that
accounting for small amounts of wrapped consing almost
always works without extra consing overhead in the
wrapper
..made calibrate-PROFILE-overhead code run longer
MNA pointed out that bug 59 was fixed a while ago.
MNA comment clarifications sbcl-devel 2001-06-25
removed bogus QUIT from stream.pure.lisp, so that the
subsequent *.pure.lisp tests get executed

0.6.12.41:
removed various REMOVEME stuff
more profiling/PCOUNTER stuff..
..restored "grep ';.*decla.*type'" stuff in profile.lisp,
and did other un-fluidifications of pcounter.lisp
and profile.lisp
..converted various PCOUNTER-related DECLAIMs to DEFKNOWNs

0.6.12.40:
fixed bug 107: (WRITE #*101 :RADIX T :BASE 36) now does
the right thing.

0.6.12.39:
removed some stuff checking for profile monotonicity (since
now I know that OpenBSD get-internal-run-time *isn't*
monotonic, since OpenBSD getrusage() isn't monotonic:
bug kernel/1065. I've now patched my OpenBSD 2.9 to
fix this enough to make GET-INTERNAL-RUN-TIME
monotonic, and I'll submit the patch to the OpenBSD
maintainers once I straighten out how to diff against
the patch branch.)
tweaked GET-BYTES-CONSED (aiming to minimize consing in
profile.lisp)..
..replaced *TOTAL-BYTES-CONSED* with
*N-BYTES-FREED-OR-PURIFIED-PCOUNTER*
..deleted *LAST-BYTES-IN-USE*
..added DEFKNOWN GET-BYTES-CONSED
..incompatible change: made GET-BYTES-CONSED return the
number of bytes consed since the system was started,
not since the first time the function was called
..renamed GC-COLD-INIT-OR-REINIT, since it's only actually
called at reinit time
fixed *BYTES-CONSED-BETWEEN-GCS* FIXME; and now
DEFAULT-BYTES-CONSED-BETWEEN-GCS no longer needs
to be a named definition
deleted unused *GC-INHIBIT-HOOK*

0.6.12.38:
tweaked PCOUNTER stuff in anticipation of future changes
in GET-BYTES-CONSED..
..moved PCOUNTER code from profile.lisp to new pcounter.lisp
..exported PCOUNTER stuff from SB-INT

0.6.12.37;
fixed bug 24: COMPILE-FILE handles READER-ERROR now, instead
of dropping you into the debugger.
READ-FOR-COMPILE-FILE now fills the role of the old
CAREFUL-READ code.
deleted now-unused NORMAL-READ-ERROR, IGNORE-ERROR-FORM,
and UNEXPECTED-EOF-ERROR
made slam.sh use a crude make-ish timestamp hack to choose
which files to re-cross-compile

0.6.12.36:
fixed DIRECTORY/TRUENAME/symlink failure as proposed by DB
(sbcl-devel 2001-06-13, plus following discussion),
mostly by tweaking UNIX-READ-LINKS
In tweaking UNIX-READ-LINKS, I also redid it so that it would
handle pathnames of any length.
rewrote UNIX-READLINK to use wrapped_readlink(), handling
paths of any length
incompatible change: The old CMU-CL-style DIRECTORY options
(:ALL, :FOLLOW-LINKS, and :CHECK-FOR-SUBDIRS) are no
longer supported, so DIRECTORY always does the abstract
Common-Lisp-y thing, i.e. :ALL T :FOLLOW-LINKS T
:CHECK-FOR-SUBDIRS T.
added some DIRECTORY and TRUENAME test cases
fixed stupid gross errors in 0.6.12.35 test cases (Evidently I
neglected to run them before..)

0.6.12.35:
null-*PRINT-LENGTH* bugfix in structure printing (from Alexey
Dejneka sbcl-devel 2001-06-14)
merged Eric Marsden ANSI compliance fixes (from cmucl-imp
2001-06-15); except that I skipped the ones in
eval-comp.lisp because I hope to get rid of the IR1
interpreter completely sometime in the next few months,
and I skipped COMPILER-ERROR-is-PROGRAM-ERROR because
(1) I think not all compiler errors are program errors
(e.g. type errors or i/o errors) and (2) SBCL mostly
handles COMPILER-ERRORs before the user sees them
anyway, so I couldn't think of a test case where this
matters

0.6.12.34:
belatedly bumped fasl file version number because the inline
type test patches changed the layout of STREAM
Bug 23 is fixed, so delete it from BUGS.
merged MNA fixes for tests/interface.lisp (sbcl-devel
2001-06-12)

0.6.12.33:
added a few more type test regression tests
merged MNA port of DTC CMU CL inline type test patches
(sbcl-devel 2001-05-28)

0.6.12.32:
fixed REMOVEME problem in filesys.lisp by preinitializing
*DEFAULT-PATHNAME-DEFAULTS* just before the #'PATHNAME
call used to truly initialize it
deleted src/pcl/structure-class.lisp, since MNA pointed out
that it's unused

0.6.12.31:
finished getting rid of %PRIMITIVE SB!C:BYTE-BLT in favor of
SB!KERNEL:%BYTE-BLT
Now there are no primitive translators, so everything
"grep -i primitive.translator" can go away.
deleted not-much-use stuff related to %SP-STRING-SEARCH,
%SP-FIND-CHARACTER, and %SP-REVERSE-FIND-CHARACTER
deleted unused %SP-SKIP-CHARACTER, %SP-REVERSE-SKIP-CHARACTER,
and MAYBE-SAP-MAYBE-STRING

0.6.12.30:
fixed another overflow for big buffers (in GENESIS, when
#!+SB-SHOW, when reading)
started getting rid of %PRIMITIVE SB!C:BYTE-BLT in favor of
SB!KERNEL:%BYTE-BLT
deleted unused %SP-REVERSE-FIND-CHARACTER-WITH-ATTRIBUTE,
%SP-BYTE-BLT, and %SP-FIND-CHARACTER-WITH-ATTRIBUTE
merged MNA prepare-for-inline-type-tests patches (sbcl-devel
2001-06-11)

0.6.12.29:
cleanups pending from flaky2_branch and SB!FASL-package
adventures, part II (more deleting)..
..!COLD-INIT doesn't need to be a static symbol.
..Does FDEFINITION-OBJECT need to be a static symbol? No.
..Do we need the mysterious COLD-SETs of function
values at the beginning of FINISH-SYMBOLS
in genesis.lisp? No.
..fasl version number change since !COLD-INIT is gone from
*STATIC-SYMBOLS*

0.6.12.28:
cleanups pending from flaky2_branch and SB!FASL-package
adventures, part I (deleting stale stuff)..
..deleted "blue bag" stuff
..deleted WANT_CGC and ibmrt stuff
..deleted x86-cgc stuff
..deleted "grep -i 'spare-[0-9]'" stuff
..deleted *SCAVENGE-READ-ONLY-SPACE*
..bumped fasl version number since *SCAVENGE-READ-ONLY-SPACE*
is gone from *STATIC-SYMBOLS*

(Oops!):
(I screwed up the attributions in two earlier commits. The
inline type test stuff referred to in the 0.6.12.24
commit message was originally due to Douglas Thomas
Crosher, not Pierre Mai; and although two of the bug
fixes in the PCL patch merged in 0.6.12.25 were
originally due to Pierre Mai and only ported by
Martin Atzmueller, most of that patch was original
work by Martin Atzmueller.)

0.6.12.27:
DB's bugfix for CIRCULAR-LIST-P sbcl-devel 2001-06-08
minor profiling fixes
(The SIGILL problem above seems to've been SBCL/OpenBSD's way
of reporting an infinite recursion error. It *would*
be nice to catch infinite recursion cleanly someday..)

0.6.12.26:
(This version has some REMOVEME stuff in it to help me
debug a PROFILE failure which seemed to be related to
nonmonotonicity of GET-INTERNAL-RUN-TIME, and which
then morphed into a SIGILL problem (all on OpenBSD).
I don't think those should cause any failures for
other systems, so I left 'em in for now.)
deleted old SPARC-only UNIX-TIMES implementation of
GET-INTERNAL-RUN-TIME
munged the code in profile.lisp hunting, so far unsuccessfully,
for "-1 is not UNSIGNED-BYTE" problem
added temporary test for monotonicity of GET-INTERNAL-RUN-TIME
moved the definition of *BEFORE-SAVE-INITIALIZATIONS*
earlier so things should work for the right reason
deleted unused INDENTING-FURTHER
separated x86 SIGILL handling from SIGTRAP handling

0.6.12.25:
merged MNA port of Pierre Mai fixes for PCL stuff (sbcl-devel
2001-05-30)
renamed tests/pcl.impure.lisp to tests/clos.impure.lisp, to be
consistent with tests/clos.test.sh
reverted the part of the patch which nuked the
INFORM-TYPE-SYSTEM-ABOUT-STD-CLASS call, as per
my sbcl-devel mail 2001-06-07

0.6.12.24:
added a few tests as examples of what I'd like to have before
merging the Mai/Atzmueller inline type test patches
merged DB Alpha-dynamic-loading patches (sbcl-devel 2001-05-11)

0.6.12.23:
merged flaky2_branch back into main branch

0.6.12.21.flaky2.2:
(This version seems not to be flaky any more. I'm just
checking it in as a halfway step to merging it
back into the main branch.
tweaked scavenge() argument handling so that it's easier to see
what was going on when we look at it with gdb
deleted unused undocumented DIRECT_SCAV stuff
deleted unused undocumented SC_NS_GEN_CK stuff
stopped tests/interface.pure.lisp from generating un-GC-able
nonsense values when a SYMBOL-FUNCTION is a closure;
and tried to make it more accurately check for
undocumented external functions as well

(no version):
updating/committing again to get CVS to recognize deletion
of early-load and addition of early-fasl

0.6.12.22:
DB logical pathname and COMPILE-FILE-PATHNAME patch from
sbcl-devel 2001-06-01
made FASL file version number independent of CPU type; also
made byte FASL file version number the same
many many changes more or less related to changing the FASL
file version number..
..created SB!FASL package to hold stuff like +FASL-FILE-VERSION+
which is common to loading and dumping
..renamed early-load.lisp to early-fasl.lisp
..renamed FASL-FILE stuff to FASL-OUTPUT
..*LAP-OUTPUT-FILE* doesn't need to be special (and so is
renamed to LAP-FASL-OUTPUT).
..exported FAST-READ stuff from SB-INT, so that it's visible
in SB-FASL
..deleted old stale load-related variables
*LOAD-BYTE-COMPILED-CODE-TO-DYNAMIC-SPACE*
*LOAD-X86-TLF-TO-DYNAMIC-SPACE*
*ENABLE-DYNAMIC-SPACE-CODE*
(hardwiring code which referred to them to use their
effectively-constant values T, NIL, T instead). (Now
we no longer need to worry about what package they're
in..)
..made some symbols external to SB-KERNEL so that
now-in-SB-FASL code could find them (and so that
some of the old :: prefixes could go away):
*FREE-INTERRUPT-CONTEXT-INDEX*,
*!INITIAL-FOO* for all FOO,
*CURRENT-CATCH-BLOCK*,
*CURRENT-UNWIND-PROTECT-BLOCK*,
*PSEUDO-ATOMIC-ATOMIC*, *PSEUDO-ATOMIC-INTERRUPTED*
..deleted unneeded "SB!IMPL::" prefixes for various
other *STATIC-SYMBOLS*-related symbols which're
exported (mostly from SB-KERNEL) already
..deleted unused %INITIAL-FUNCTION (smashing Alpha
*STATIC-SYMBOLS* indices)
suppressed some stuff in side-effectful-pathnames.test.sh
until we merge the DB cleanups from flaky2_branch

0.6.12.21.flaky2.1:
Since enabling QSHOW and QSHOW_SIGNALS showed that a relatively
early symptom of the memory-corruption problem is
dereferencing a 0 pointer, I added special handling
for not-our-responsibility SIGSEGV/SIGBUS in
gencgc.c.

0.6.12.21.flaky2:
(This version has a flaky GC/memory-corruption problem. It's
perfectly repeatable both on my OpenBSD box and on
my Linux box -- just "sh run-tests.sh" -- which is
why I thought it was worth saving this before I
messed with it too much. But it's flaky in that all
sorts of little harmless-looking program or test
changes made while trying to isolate the problem can
cause it to vanish.)
Dan Barlow's logical pathname tests sbcl-devel 2001-05-31
added DEFUN SANE-DEFAULT-PATHNAME-DEFAULTS
made all relative-to-absolute conversions go through
*DEFAULT-PATHNAME-DEFAULTS*, so Unix current directory
is only used to initialize *DEFAULT-PATHNAME-DEFAULTS*
(and thus UNIX-MAYBE-PREPEND-CURRENT-DIRECTORY goes
away)

0.6.12.21:
(realized I was confused about DEFAULT-DIRECTORY ('cause it's
in SB-INT, not SB-INT) so it doesn't need to be
marked deprecated after all. As I get older, perhaps I
should work on smaller systems..)
deleted unused %SET-DEFAULT-DIRECTORY stuff
deleted related Unix chdir() stuff
rewrote UNIX-CURRENT-DIRECTORY to use getcwd() and do its
own error-handling; got rid of DEFAULT-DIRECTORY
deleted related Unix getwd() stuff
restored SIZE-T (but this time through grovel_headers.c)
in order to interface to getcwd() more cleanly
deleted commented-out clutter in ldso-stubs.S
renamed UNIX-CURRENT-DIRECTORY to POSIX-GETCWD, and made
POSIX-GETCWD/ variant to do the old CMU-CL-style
trailing #\/ thing

0.6.12.20:
made monitor.c quit() command read from the same stream
as the other ldb commands
renamed monitor.c devtty stuff to ldb_in
miscellaneous other tidying up in monitor.c

0.6.12.19:
deprecated #'SB-EXT:DEFAULT-DIRECTORY, since
*DEFAULT-PATHNAME-DEFAULTS* is the ANSI way to do it
failed to get rid of DEFVAR *DEFAULT-PATHNAME-DEFAULTS*
initialization, since someone is using this var
too early in cold init. Maybe next time..
removed stale (SEARCH-LIST "default:") stuff
deleted unused CADDR-T, DADDR-T, QADDR-T, QUAD-T, UQUAD-T,
SIZE-T, SSIZE-T, +MAX-S-LONG+, +MAX-U-LONG+, SWBLK-T

0.6.12.18:
added code to initialize *DEFAULT-PATHNAME-DEFAULTS*,
to start making it a little more ANSI
started documenting visible-in-the-interface variables
whose old values are discarded when a core is saved
and loaded (e.g. *DEFAULT-PATHNAME-DEFAULTS*)
tweaked side-effectful-pathnames.test.sh so it
accepts the new more-ANSI behavior of
*DEFAULT-PATHNAME-DEFAULTS*
hacked LOAD to physicalize pathnames before merging them,
to work around apparent MERGE-PATHNAMES problems
and let tests/filesys.pure.lisp work with new
nontrivial *DEFAULT-PATHNAME-DEFAULTS*; also
hacked COMPILE-FILE-PATHNAME similarly
factored out DEFUN PHYSICALIZE-PATHNAME
made FILE-LENGTH "work" (up to 32 bits) on OpenBSD again

0.6.12.17:
revised address map for OpenBSD (fixing memory corruption
problem)

0.6.12.16:
made LOAD handle EXTERNAL-FORMAT just the same way as
COMPILE-FILE already did, refusing any value other
than :DEFAULT
removed unused (and deprecated on OpenBSD) setregid/setreuid
stuff
converted "i386" to "__i386__" at various
"egrep 'def.*[^_]i386'" locations
added src/runtime/trymap.c (and noted that trymap fails for
the mapped area which the OpenBSD port uses for its
control stack, so now the mystery is no longer why
the OpenBSD port now complains about memory faults,
but why the OpenBSD port ever worked in the past)

0.6.12.15:
turned interrupt_install_low_level_handler() into
undoably_install_low_level_interrupt_handler(), which
uses atexit() to arrange for the handler to be removed
at exit, for tidiness in general and specifically
because without the the interaction between the GC
and the exit()-time segfaults caused by memory
corruption is making it tricky to debug the
OpenBSD port

0.6.12.14:
fixes from Arthur Lemmens' 2001-05-05 sbcl-devel message I..
..wrapped an EVAL-WHEN around the definition of +EMPTY-HT-SLOT+
..removed irrelevant COUNT term in in LOOP form in
compiler/x86/call.lisp
..moved DEFCONDITION SIMPLE-TYPE-ERROR from error.lisp to
late-target-error.lisp
..moved DEFUN DO-PENDING-INTERRUPT from signal.lisp to
target-signal.lisp, since its definition ("magically
converted to a BREAK instruction") only makes sense
to Python (and causes a warning in Lispworks)

0.6.12.13:
set up :SB-AFTER-XC-CORE feature so slam.sh is more convenient
The various core address mismatch states should be fatal
errors, not just fprintf()s.

0.6.12.12:
(I went hunting unsuccessfully OpenBSD GC problems, didn't
find them, and made small cleanups instead.)
Dan Barlow's way of dealing with 64-bit slots in wrapped_stat
is better than mine, and it's possible that mine is
even responsible for my OpenBSD memory corruption
problems, so convert the wrapped_st_size slot to
32 bits.
also renamed DB's my_dev_t to more-explicit ffi_dev_t

0.6.12.11:
added #\% prefixes for names of helper functions in hash table
stuff, so they won't look so friendly and supportedish
bumped fasl file version number for the new hash table forms
restored support for compiler trace output (inspired by
MNA's patch, but controlled by the CMU-CL-style
&KEY arg interface, not a special variable)
tweaked other &KEY options of COMPILE-FILE: no more
:ENTRY-POINTS, and anticipating deprecating other stuff

0.6.12.10:
MNA sbcl-devel 2001-05-12 "logical pathname patch & readable
hashtables" patch

0.6.12.9:
merged MNA port sbcl-devel 2001-05-11 of Tim Moore CMU CL
improved disassembly patch
miscellaneous other SBCLification and modernization of
target-disassem.lisp

0.6.12.8:
merged flaky1 branch back into main branch, now that it's
stable again.
(Dan Barlow's email on sbcl-devel warned that one problem
with branches is that useful checkin comments
end up being hard to find when they're stuck on
branches. I'll check the cvs2cl.pl output
after this checkin, and if it doesn't include
the notes for the various checkins on
the flaky1 branch, I'll make another checkin
below just as an excuse to add log notes which
copy or summarize them.)
The flaky1 branch was rather a lot of work for what turned
out to be not very many fixes. ("The discipline of
refactoring is hard to learn and easy to
lose sight of, even if only for a moment. I
still lose sight more often than I care to admit.
I'll do two or three refactorings in a row without
rerunning the test cases. Of course I can get away
with it. I'm confident. I've practiced. Boom! A
test fails, and I can't see which of my changes
caused the problem. At this moment, you will be
mightily tempted to just debug your way out of
trouble. After all, you got those tests to run
in the first place. How hard could it be to get
them running again? Stop. You are out of control,
and you have no idea what it will take to get back
in control by going forward. Go back to your
last known good configuration after each one."
-- Kent Beck, on pp. 410-411 in Martin Fowler's
_Refactoring_)

0.6.12.7.flaky1.2:
(This version seems not to be flaky any more, and so should
be the end of the flaky1 branch: I'm just checking
it in in preparation for "cvs update -j flaky1" or some
such thing to merge the changes back into the main
branch.)
tweaked run-tests.sh machinery to use an absolute path for
SBCL, on general principles and specifically so that
Dan Barlow's new ENSURE-DIRECTORIES-EXIST tests can run
made (UNIX-NAMESTRING "") equivalent to (UNIX-NAMESTRING "."),
as the simplest way to make ENSURE-DIRECTORIES-EXIST
work for relative pathnames. (As per Dan's 2001-05-18
sbcl-devel mail, it can't be ANSI conforming until
*DEFAULT-PATHNAME-DEFAULTS* is made ANSI, and that's
too messy for now, so just do the simple thing.)
dropped search list support from UNIX-NAMESTRING while I was
at it, since search lists ain't supported no more
removed undocumented hardly-used EXECUTABLE-ONLY arg from
UNIX-NAMESTRING, moving the "is it executable?" test
into run-program.lisp
removed REMOVEME stuff

0.6.12.7.flaky1.1:
(As per Daniel Barlow sbcl-devel 2001-05-17, the removal of
the mysterious "" special case in UNIX-STAT will
probably keep this version from building itself,
so I didn't even try. It does, however, at least
do "sh run-tests.sh" successfully.)
fixed declaration in %EXTRACT-STAT-RESULTS so that the
system won't have to interpret the alien reference
at runtime on every call to the function
I found how to fix the boot/gencgc/purify problem which was
leaving initial-function unmapped -- I could copy
current_region_free_pointer into
boxed_region.free_pointer just before
gc_alloc_update_page_pages() in save.c. However,
that left me with other flaky GC problems. So I gave
up my GC hacking in this version as a bad job, and
copied original 0.6.12.7 GC-related files over
the modified versions: gencgc.c, save.c, purify.c,
gc.lisp, save.lisp
made %EXTRACT-STAT-RESULTS inline to suppress an apparent
memory corruption bug

0.6.12.7.flaky1:
(This system state is seriously screwed up. It did build,
both on Linux and on OpenBSD, but signalled an
error after writing out sbcl.core on OpenBSD, and
although it runs a little both on Linux and on
OpenBSD, it hangs in the regression tests. It
also has some temporary hacks marked REMOVEME,
including one which suppresses PURIFY when
building the system (!).)
made the system build on OpenBSD again..
..stubbed stuff out as a quick fix to the problem of FFI to
64-bit stat.st_size
tried to make the system run on OpenBSD again..
..initialized current_dynamic_space, since it's now used
instead of DYNAMIC_SPACE_START in PURIFY
..added new assertions about GENCGC alloc_region stuff being
reset when it should be
renamed Lisp-level struct stat stuff to struct wrapped_stat
tried to tidy up Lisp-level stat stuff; removed mysterious
(STRING= NAME "") behavior from UNIX-STAT
added slam.sh to help in low-level compile-and-try cycle
pulled alloc_region-is-reset logic out into separate
functions, and added more assertions on it (hunting
for a bug which broke the old assertions)
renamed gc_alloc_large to gc_alloc_possibly_large, and
gc_quick_alloc_large_unboxed to
gc_quick_alloc_unboxed_possibly_large
enabled various GC checks, e.g. gencgc_zero_check=1
deleted unused (and bizarre..) gencgc_verify_zero_fill()
turned off PURIFY in order to get the system to build, since
PURIFY seems to be misbehaving (leaving INIT-FUNCTION
above the cutoff address..)

0.6.12.7:
Make sure that we "mkdir output/" before we use it in the build
process. (MNA pointed out that we used it before we
made it.)
Use "uname -m" to figure out sbcl_arch default.
merged MNA PCL fixes from sbcl-devel 2001-05-09 (including
port of Pierre Mai's method combination fixes from
cmucl-imp 2001-04-26)
added regression test for method combination fix
Bug 14 was mostly fixed already: the problem with
INVALID-METHOD-ERROR complaining about being outside
a method combination function went away some time ago.
The MNA/Mai patch above improves method combination
error reporting further, so it's definitely time
to retire 14 from BUGS.

0.6.12.6:
merged Dan Barlow's patches sbcl-devel 2001-05-08 and
2001-05-09

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.)