0.7.0.6:
APD bug 111 patch sbcl-devel 2001-12-30
APD PCL INHIBIT-WARNINGS patch ("Re: [sbcl-devel] sbcl style"
sbcl-devel 2002-01-23)
nibbling away at bug 137: making functions defined by
DEFMETHOD have debug names not e.g.
"#'(LAMBDA (SB-PCL::.PV-CELL. SB-PCL::.NEXT-METHOD-CALL. COMMON-LISP-USER::X) (DECLARE #) ...)"
but instead (:METHOD FOO (INTEGER))...
...added NAME-METHOD-LAMBDA and BODY-METHOD-NAME, and used 'em
...tweaked %METHOD-NAME declared values to look more like
modern CLOS syntax
...made NAMED-LAMBDA treat not-legal-as-source-name names as
debug names, so it barfeth not when fed method names
...tweaked BACKTRACE printing so that it won't truncate the
shiny new method names into e.g. (:METHOD FOO #)
deleted unused WALK-NAMED-LAMBDA

0.7.0.5:
fixing bugs introduced in 0.7.0 release...
...made LOAD-FOREIGN and LOAD-1-FOREIGN definitions work, at
least as far as I could test on OpenBSD. (As reported by
Stig E Sandoe sbcl-devel 2002-01-22, they were broken
in the 0.7.0 sources, because the SB-ALIEN:LOAD-FOREIGN
and SB-ALIEN:LOAD-1-FOREIGN symbols are no longer
visible in SB-SYS, and foreign.lisp was
IN-PACKAGE SB-SYS.)
...sharpened the foreign.test.sh tests to keep this from
happening again
...fixed bug 133 (somewhat kludgily, but hopefully better than
nothing)
made DEFGENERIC do trivial checks on its arguments immediately,
so (DEFGENERIC FOO OR ((X BAR) (Y BAR)) gives a
better error message

0.7.0.4:
(first displayed and caused confusion on the sbcl-devel mailing
list by misunderstanding the COMPLEX type specifier,
completely overlooking UPGRADED-COMPLEX-PART-TYPE;
then belatedly:)
merged CSR "rough patch to fix bug 106" sbcl-devel 2001-10-28
used (SPECIFIER-TYPE NIL) instead of (SPECIFIER-TYPE 'NULL) in
the bug 106 patch
removed bug 93 entry, since CSR pointed out that the "removed
bogus DECLAIM" in 0.pre7.14.flaky4.3 seems to've
fixed it

0.7.0.3:
APD "some simple patches" (sbcl-devel 2002-01-21) for bugs
found by PVE

0.7.0.2:
APD "repeated DEFGENERIC" patch (sbcl-devel 2002-01-20)
DD-NAME is a constant. DSD-%NAME should be but isn't.:-(
deleted a few unnecessary SB!KERNEL: prefixes
s/\*current-level\*/*current-level-in-print*/
fixed/deleted/whatever a few easy FIXMEs

0.7.0.1:
cleaned up EVAL-STACK left over from deletion of IR1 and
byte interpreters (responding to NJF questions
sbcl-devel 2002-01-19)
deleted unused symbols: %SP-SET-PLIST, %SP-SET-DEFINITION

integration hassles, cont'd:
refined my sh script technique (removing syntax errors)

integration hassles, cont'd:
gave up on trying to mess with different versions of jade on
different architectures, at which point it became clear
that I wanted the formatted docs to be distributed in
a different package than source or binary, so...
...wrote html-distribution.sh to slurp up the HTML-formatted
documentation
...tweaked binary-distribution.sh so it no longer slurps up the
HTML-formatted documentation

uh, *working* on 0.7.0, anyway:
fixed SGML typo that OpenBSD openjade didn't care about (?)
but Linux jade caught

0.7.0:
(Woo hoo!)
enforced OAOO for *DEFAULT-PACKAGE-USE-LIST*
lotso doc tweaking

0.pre7.142:
(I hope this looks a lot like 0.7.0. I'll putter on and around
it for a while, xc'ing under CMU CL, building some
applications, etc. Then if there isn't too much
surprise, maybe I can finally ship it!)
late-breaking incompatible cleanup: The default USE list
for DEFPACKAGE and MAKE-PACKAGE is
implementation-defined. Let's just make it NIL, the
way God intended, instead of trying to guess. (Anyone
who actually wants something random can just
:USE (PACKAGE-USE-LIST :CL-USER) anyway.:-) So...
...Implementation-defined things are supposed to be
documented. Put this in the doc string of MAKE-PACKAGE.
...Putting it in NEWS would be good too.

0.pre7.141:
made DESCRIBE output of PACKAGE data more concise
s/def-frob/def/

0.pre7.140:
merged SB-C-CALL into SB-ALIEN (since the rationale for
C-CALL being an extension of "basic" SB-ALIEN isn't
obviously compelling)
...deleted various notes about the distinction between
packages at egrep matches to '\<c-call'
...mentioned the change in the FFI quasichapter of the
user manual
...s/c-call/alien/ at matches to 'sb.c-call'
...remembered to add SB-C-CALL nickname for backwards
compatibility
There seems no longer to be any reason that VOID or
WEAK-POINTER-P needs to be re-exported from SB-KERNEL.
It doesn't make all that much sense to reexport
LOAD-FOREIGN and LOAD-1-FOREIGN from SB-EXT.
Remove the old set-the-cold-package-nickname support from
set-up-cold-packages.lisp and friends, since it's
unused and not quite right anyway and much too
annoying to fix (messing with renaming SB!FOO
nicknames to SB-FOO nicknames, ick). The SB-FOO
nickname needed is this backwards compatibility
hack, and it can be hacked in at init time.

0.pre7.139:
more s/argument/arg/...
...s/entry-argument/entry-arg/
...s/argument-list/arg-list/
...s/compile-argument/compile-arg/
...s/associate-argument/associate-arg/
...s/compute-argument/compute-arg/
...s/reference-argument/reference-arg/
...*not* s/one-argument/one-arg/, since CL defines
:IDENTITY-WITH-ONE-ARGUMENT as a kw arg for
DEFINE-METHOD-COMBINATION
...s/from-argument/from-arg/

0.pre7.138:
merged CSR "{find,position}-if-not" patch from sbcl-devel
2002-01-15
tweaked %NATURALIZE-C-STRING to reduce the ridiculous consing
(reported on cmucl-imp ca. 2002-01-15 by Lynn Quam) in
the reinvent-the-strlen() code
added assertion in GENESIS to try to catch "SB!"-vs.-"SB-"
prefix mistakes in code it works with

0.pre7.137:
more ARGUMENT-to-ARG abbreviation, mostly from egrepping
'def[^ ]* \(*[^ ]*argument'...
...s/standard-argument/standard-arg/
...s/char-argument/char-arg/
...s/float-argument/float-arg/
...s/move-argument/move-arg/
...s/sap-argument/sap-arg/
...s/argument-type/arg-type/
...s/word-argument/word-arg/
...s/with-argument/with-arg/
...s/without-argument/without-arg/
...s/arguments-option/args-option/
...s/argument-precedence/arg-precedence/
renamed DEFSTRUCT ARGUMENT to DEFSTRUCT ARG
removed BUGS 130 as per CSR sbcl-devel 2002-01-16
cut DB's slam.sh notes from CLiki SBCL internals slam.sh
page, pasted them into slam.sh comments, and rewrote
them some

0.pre7.136:
abbreviating ARGUMENT as ARG...
...s/error-argument/error-arg/
...s/argument-count/arg-count/
...s/bogus-argument/bogus-arg/
...s/key-argument/key-arg/
...s/constant-argument/constant-arg/
also changed ARGUMENT to ARGS in the context of ARG-COUNT-ERROR

0.pre7.135:
DO-FOO should be used for iteration names, not other things...
...s/do-assembly/emit-assembly-code-not-vops-p/
...s/do-truncate/return-quotient-leaving-remainder/
...s/do-constant-bit-bash/constant-bit-bash/
...s/do-unary-bit-bash/unary-bit-bash/
...s/do-do-body/frob-do-body/
...s/do-dd-inclusion-stuff/frob-dd-inclusion-stuff/
...s/do-output/frob-output/
...s/do-input/frob-input/
...s/do-old-rename/rename-the-old-one/
...s/do-load-verbose/maybe-announce-load/
...s/do-nothing/no-op-placeholder/
...s/do-pending-interrupt/receive-pending-interrupt/
...s/do-load-time-code-fixup/envector-load-time-code-fixup/
...s/do-type-warning/emit-type-warning/
...s/do-the-stuff/ir1ize-the-or-values/
...I'm not sure enough about behavior of VOP names to mess with
DO-MAKE-VALUE-CELL immediately, but at least I can
rename the MAKE-VALUE-CELL event to MAKE-VALUE-CELL-EVENT
to start to untangle the names here.
...s/do-save-p-stuff/conflictize-save-p-vop/
...s/do-coerce-efficiency-note/maybe-emit-coerce-efficiency-note/
...s/do-offs-hooks/call-offs-hooks/
...s/do-fun-hooks/call-fun-hooks/
...s/do-short-method-combination/short-combine-methods/
...s/do-tests/run-tests/
fixed dumb oversight in debug.impure.lisp

0.pre7.134:
MNA "more describe (and arglist) cleanup" patch from
sbcl-devel 2002-01-15
Tweak the arglist regression tests so that they don't depend on
the (somewhat arbitrary) names chosen for arguments in
some implementation file far far away, but only on
supported behavior and local code.
Rearrange the arglist regression tests a little. (Make
debug.impure.lisp and move 'em there.)

0.pre7.133:
NJF patch I from sbcl-devel 2002-01-14: "Keywords are
self-evaluating, right?  They don't need to be quoted?
Then I wonder why the writers of PCL felt it necessary
to do so. This patch fixes that."
NJF patch II from sbcl-devel 2002-01-14: "This patch does
away with the strange business of the PUSHP argument to
DEFINE-FOP (and DEFINE-COLD-FOP) being
(MEMBER '(T NIL :NONE)) and implements the suggestion
at the top of src/code/fop.lisp for fixing it."
chased down ramifications of s/offs-hook-function/offs-hook-fun/,
as per Alexei Dejneka broken disassembler bug report
sbcl-devel 2001-01-14
the poor neglected user manual...
...added some information about compiler-only-ness in the
introduction
...removed some "I'm sorry about this bug, give me time" stuff,
since time has passed, and the bugs are gone:-)
belatedly incremented fasl file version

(I seem to've screwed up during the checkin of 0.pre7.131 before, so
that it's log message got lost. So this checkin has two log messages,
.131 for the changes in the previous checkin and .132 for the changes
in this checkin.)

0.pre7.131:
s/variable/var/ in...
...fun-variable
...symbol-variable
...find-variable
...variables*\*
...make-variable
...iteration-variable
...declare-variable
...when-it-variable
...named-variable
...1-variable
...compute-variable
...minimal-variable
...free-variable
...let-variable
...lexenv-variable
...(not set-variable because there's already a VAR slot for the
SET structure type, gah, so try s/set-variable/setq-var/)
...convert-variable
s/lexenv-functions/lexenv-funs/
Rename NAMED-VAR function to LOOP-NAMED-VAR, for consistency
with other LOOP operators and with the LOOP comments
which refer to LOOP-NAMED-VAR.

0.pre7.132:
  learning that I don't even get people's *names* right
in CREDITS:-(
addressed APD bug report 2001-01-13...
...made a BUGS entry for pretty-printing nested backquotes
...scattered references to compiler-only implementation
through doc/sbcl.1
other corrections and tweaks in doc/sbcl.1

*** empty log message ***

0.pre7.129:
s/function/fun in...
...valid-function
...seen-function
...arg-function
...cached-function
...setf-function
...escape-function
...cleanup-function
...propagate-function
...really-function
...free-function
...apparent-function
...extract-function
...function-continuation
...function-info
...continuation-function
...coerce-function
...first-function
...core-function
...initial-function
...function-entry
...function-subtype
...compute-function
...function-epilogue
...function-prologue
s/set-up-function-translation/!set-up-fun-translation/

0.pre7.128:
MNA "patch for bug 105 and some other cleanups" (sbcl-devel
2002-01-13)...
...fixed bug 105: made (DESCRIBE 'STREAM-READ-CHAR) work right
even when there're no methods on the GF yet
...tweaked format of DESCRIBE of methods, simplifying
GENERIC-FUNCTION-PRETTY-ARGLIST stuff
...tidied up tests/ stuff, deleting temporary files after use
...deleted BUGS entries (105 entry, and stale 99 entry too)
tweaked MNA patch...
...explicitly saying "It has no methods." for bare GF

0.pre7.127:
(There were >300 matches to
"egrep -sn '^\(def[^(;&]*function' ..." before.)
s/to-function/to-fun/
s/hook-function/hook-fun/
s/describe-function/describe-fun/
s/bogo-function/bogo-fun/
s/fop-fun/fop-fun/
s/not-function/not-fun/
s/named-function/named-fun/
s/nil-function/nil-fun/
s/\<t-function/t-fun/
s/simple-function/simple-fun/
s/function-call/fun-call/
s/move-function/move-fun/
s/traced-function/traced-fun/
s/function-or-lose/fun-or-lose/
s/disassemble-function/disassemble-fun/
s/get-function/get-fun/
s/output-function/output-fun/
s/1[-a-z0-9]*function/1$1fun/
s/note-function/note-fun/
s/check-function/check-fun/
s/function-cache/fun-cache/
s/disassem-function/disassem-fun/
s/function-cost/fun-guessed-cost/
s/function-value/fun-value/
not just s/function/fun/, but also clearing up mess of (1)
LOSSAGE/SLIME (esp. SLIME), what do they mean? and
(2) "ERROR" and "WARNING" used in names even though
the condition system isn't involved...
...s/error-function/lossage-fun/
...s/warning-function/unwinnage-fun/
...s/slime/unwinnage/
other confusion/inconstency...
...s/compiler-style-warning/compiler-style-warn/ when used
as verb (as opposed to used as condition name)
...and similarly for s/compiler-warning/compiler-warn/
s/test-function/test-fun/
s/\*test-fun\*/*ctype-test-fun*/
(There are now some 230 hits to the egrep at the start, mostly in
src/pcl/*, where I'm trying to tread lightly to avoid
gratuitously breaking quasistandard MOPish things.)

0.pre7.126:
even more s/#'(lambda/(lambda/ (should be done now)

0.pre7.125:
more s/#'(lambda/(lambda/

0.pre7.124:
lotso s/#'(lambda/(lambda/

0.pre7.123:
NJF save.lisp buglet fix sbcl-devel 2002-01-11
MNA "patch for bug 99" sbcl-devel 2002-01-11 (includes symbol
and filesys.test.sh cleanups too, not just bug 99)

0.pre7.122:
belatedly removed BUGS entry 38 (fixed by MNA in 0.pre7.120)
Now that bug 138 is fixed, I can s/#'(lambda/(lambda/ to my
heart's content -- in theory. But what have we here,
another bizarre xc bug? Apparently. So...
...added #!+SB-SHOW ID slot to some fundamental compiler data
structures
...(eventually found that MULTIPLE-VALUE-BIND macro definition
is sensitive to s/#'(lambda/(lambda/, which sorta
makes sense)

NJF DOLIST/MACROLET patch for vmtran (sbcl-devel 2002-01-07,
revised 2002-01-08)

0.pre7.120:
MNA patch for bug 38 (sbcl-devel 2002-01-07)
removed BUGS entries 18 and 29 as per MNA sbcl-devel 2002-01-07

0.pre7.119:
CR patch for bug 139 and other DIRECTORY badness (sbcl-devel
2001-12-31)
TMPDIR tweak suggested by CR sbcl-devel 2001-12-31
enabled various test cases for DIRECTORY now that they work
--
Enable test cases.
Remove or at least weaken BUGS entry.

0.pre7.118:
s/ir1-p\>/ir1-converting-not-optimizing-p/
fixed FIXME in RECOGNIZE-KNOWN-CALL, since the new type test is
shorter than the old FIXME explanation
fixed bug 138 by making FIND-FREE-FUNCTION pickier about
reusing things from other components (testing
INVALID-FREE-FUNCTION-P)
--
Remove REMOVEMEs.
Test building the compiler with itself.

0.pre7.117:
encapsulated (OR (COMPONENT-FOO ...) ...) idiom in IR1-PHASES
made TRACE :PRINT use pretty-printed line breaks to keep
indentation sane
added more checks related to bug 138, including restoring the
strength of the original LOCALL-ANALYZE-COMPONENT
assertion so that I'm back to debugging 138a again:-|
(It's too bad I didn't have the courage of my
convictions lo these many hours of debugging ago, to
keep my strong 138a assertion and immediately chase
back whatever weirdness causes it to fail, instead of
weakening it and painfully debugging the
consequences.)

0.pre7.115:
minor tweak in the new names: "SB-INT:&MORE processor for FOO"
is unnecessarily cryptic, and maybe
"varargs entry point for FOO" is better
bug 138, continued: It seems bad for WITH-BELATED-IR1-ENVIRONMENT
to be binding *CURRENT-COMPONENT* to something which has
already had COMPILE-COMPONENT called on it once and for
all. I added checks to stop this...
...made COMPILE-COMPONENT set (COMPONENT-INFO C)=:DEAD
(instead of just NILing it out)
...added some assertions that key operations aren't
applied to dead components
s/with-belated-ir1-environment/with-ir1-environment-from-node/

0.pre7.114:
more name tweaks...
...If we do use an abbreviation, I'd like it to be used
consistently. s/xep/external-entry-point/ looks too
verbose to be palatable (MAKE-EXTERNAL-ENTRY-POINT-LAMBDA-EXPRESSION,
ouch) so s/external-entry-point/xep/ instead.
fixed the "&MORE processor" function debug name syndrome...
...added SOURCE-NAME and DEBUG-NAME arguments to the
various IR1-CONVERT-FOO functions running up to
IR1-CONVERT-MORE...
...IR1-CONVERT-HAIRY-ARGS
...GENERATE-OPTIONAL-DEFAULT-ENTRY
...IR1-CONVERT-MORE itself
...made IR1-CONVERT-MORE use the names to make a debug
name which identifies the parent function
...free bonus: made IR1-CONVERT-HAIRY-ARGS use
SOURCE-NAME and DEBUG-NAME to build a better
(than "hairy arg processor) debug name for its
own IR1-CONVERT-LAMBDA-BODY call
...(Check for analogous internal uses of debug-name-ish
stuff in GENERATE-OPTIONAL-DEFAULT-ENTRY, but there
are none.)
defined AS-DEBUG-NAME to support this

0.pre7.113:
minor tweaks while hunting bug 138...
...gave PREV-LINK a painfully explicitly mnemonic name
...s/with-ir1-environment/with-belated-ir1-environment/

0.pre7.112:
more bug-138-related assertions and tweaking

0.pre7.111:
hunting bug 138...
...Poking around in the bug 138 test case, I found that the
failure is occurring for a LAMBDA which represents
the inline expansion of LAYOUT-INHERITS. It seems
correct for :INLINE LAMBDAs not to be in
COMPONENT-LAMBDAS, so it looks as though the bug is
in the AVER, not the code it's trying to protect,
so I added a new :INLINE case to the check logic.
Alas, that only converted bug 138a into bug 138b.
...added some assertions and comments hunting for 138b
redid DUMP-CODE-OBJECT loop for clarity as LOOP not DO

0.pre7.110:
added tests for DIRECTORY on hierarchical directories

0.pre7.109:
function name mess, continued...
...used NAMED-LAMBDA in DEFMACRO-MUNDANELY DEFUN
...tweaked non-toplevel handling of COLD-FSET so that it
notifies the compiler about the source name (using
NAMED-LAMBDA to do so)
deleted dead symbols from package-data-list.lisp-expr as per
APD sbcl-devel 2001-12-30
deleted bug 128 as per NJF sbcl-devel 2001-12-30
merged DB patch sbcl-devel 2001-12-30 for (mostly)
conditional-on-SB-LDB gross errors dating back to
all the global substitutions I was doing a while
ago (and added :SB-LDB to my default
customize-target-features.lisp, in hopes that maybe
I can catch more such problems myself)

0.pre7.108:
trying to fix function debug name mess without imploding the
whole system by triggering avalanches of low-level
software antiengineering from hell...
...revived SB-INT:NAMED-LAMBDA idea
unrelated tidying in SB-INT...
...deleted *OPTIMIZE-FOO* for byte compilation, since there's
no byte compiler now
...*PROMPT* has been hidden as an implementation detail
for some time and no one has complained, so we might
as well delete it.

0.pre7.107:
messed around with xc bug 138
tried and rejected CR sbcl-devel 2001-12-30 patch for bug 139

0.pre7.106:
merged NJF dolist-to-macrolet patch (sbcl-devel 2001-12-29)
investigated why I can't resize SIMPLE-FUN, and scribbled
various notes about what I found

0.pre7.105:
removed 10 obsolete entries in BUGS as per APD sbcl-devel
2001-12-29

0.pre7.104:
4-space tabs in C code

0.pre7.103:
rewrote LOOKUP-LOGIN-NAME to use getpwuid() instead of
parsing "/etc/passwd" and then trying to speed up that
fundamentally slow process by maintaining a
fundamentally bogus cache of previous lookup results...
...deleted *UID-HASH-TABLE*
...deleted GET-GROUP-OR-USER-NAME
...deleted GET-GROUP-OR-USER-NAME-AUX
...defined uid_username() in wrap.c to encapsulate the
C-level struct dereferencing
...factored the C-to-Lisp conversion logic out of POSIX-GETCWD,
anticipating reusing it in LOOKUP-LOGIN-NAME
...rewrote LOOKUP-LOGIN-NAME to call uid_username(), and
renamed it to UID-USERNAME

0.pre7.102:
changed some "#'(LAMBDA " stuff to "(LAMBDA " (changing only
a few this time because when I changed more, things
started breaking)
fixed FIXME at head of primordial-extensions.lisp (since it's
trivial now that EVAL-WHEN works)

0.pre7.101:
merged APD patches for readtable functions (2 patches, both on
sbcl-devel 2001-12-24)

0.pre7.100:
deleted the rest of construct.lisp
merged APD sbcl-devel 2001-12-21 partial fix and testcases
for bug 134 (double backquotes)

0.pre7.99:
more dead construct.lisp code...
...CONSTRUCTOR-CODE-TYPE stuff
...all the GENERATOR-INTERNAL stuff in construct.lisp
...COMPUTE-INITARG-POSITIONS
...COMPUTE-CONSTANT-VECTOR
(So probably the rest of construct.lisp is dead code too, but
I'll try this partial deletion first.)

0.pre7.98:
belatedly 'cvs remove src/pcl/iterate.lisp'
deleted dead code that I noticed when looking at NJF patch...
...DEFCONSTRUCTOR
...MAKE-CONSTRUCTOR
...LOAD-CONSTRUCTOR
...ENABLE-CONSTRUCTORS
...DISABLE-CONSTRUCTORS
...RESET-CONSTRUCTORS
...MAP-CONSTRUCTORS
...INSTALL-LAZY-CONSTRUCTOR-INSTALLER
...COMPUTE-CONSTRUCTOR-CODE
...SET-CONSTRUCTOR-CODE
...ADD-CONSTRUCTOR, REMOVE-CONSTRUCTOR, GET-CONSTRUCTOR
...CLASS-CONSTRUCTORS
added note that more (all?) of construct.lisp might be dead

0.pre7.95:
(never checked into CVS separately, since I was travelling)
gave up on fixing BACKTRACE function name nastiness for 0.7.0,
wrote it up as bug 137 instead
experimented with bootstrapping under CLISP (which still
doesn't work, but at least fails at a new place now)

0.pre7.96:
(never checked into CVS separately, since I was travelling)
commented out code which uses SETF %FUN-NAME, since not
only do I know now that it doesn't work on the other
parallel representation of function names, I also know
now that it's insanely tricky to modify function names
correctly in the current representation (and somewhat
dangerous to try)

0.pre7.97:
merged NJF "No more SB-ITERATE" patch (sbcl-devel 2001-12-20)

0.pre7.94:
more tweaking/tidying motivated by my feasibility study of
making debug names be stored in a single place...
...rewrote DEBUG-INFO-FOR-COMPONENT to make it clear
that it's working with LAMBDAs, not functions
...removed now-redundant GET-DEBUG-INFO-FUN-MAP in
favor of SB!C::COMPILED-DEBUG-INFO-FUN-MAP

0.pre7.93:
debug name insanity, continued...
...added then backed out changes when I realized that (1)
there are two distinct mechanisms for function names
and (2) they're coupled by the FUN-DEBUG-FUN
mechanism, bwahahahaha!
...tweaked and expanded comments (and whined on Advogato) to
reflect my new knowledge of forbidden arcana of evil

0.pre7.92:
made function names (as returned by FUNCTION-LAMBDA-EXPRESSION
and used by BACKTRACE) for DEFUNed functions mostly
reasonable again, e.g. PRINT instead of
"top level locall PRINT"
...made SETFable %FUN-NAME to encapsulate this
...renamed FUNCTION-DOC to %FUN-DOC for consistency
...got rid of NAMED-LAMBDA, since cold-load issues make it
awkward to use it in DEFUN where I intended to use it,
and there's no urgent other place to use it
...made %DEFUN use SETF %FUN-NAME
(There are still function-name infelicities left, especially
for closures where there's no good implementation of
SETFable FUN-NAME until weak hash tables work, but at
least most BACKTRACE entries look better now.)

0.pre7.91:
merged Nathan Froyd port of CMU CL FMAKUNBOUND fix
(sbcl-devel 2001-12-18)

0.pre7.90:
changed publicly-visible DEF-FOO-style names to DEFINE-FOO:
DEF-ALIEN-ROUTINE, DEF-ALIEN-TYPE, DEF-ALIEN-VARIABLE,
DEF-SOURCE-CONTEXT (and a few other lexically-similar
DEF-FOO-style names as well)
defined deprecated wrappers using the old names
defined DEPRECATION-WARNING to support this

0.pre7.89:
(gave in to the temptation to check in a version which had
only been "rebuilt" with slam.sh, not full make.sh)
changed default CHAR-NAME of unprintable ASCII characters not
specified in the ANSI standard to #\Nul, #\Soh, etc.

0.pre7.88:
s/ir2-physenv-environment/ir2-physenv-closure/
changed most ~D in FORMAT strings to ~W
changed debugger prompt to "5]", "5[2]", "5[3]", etc.

0.pre7.87:
merged flaky7_branch back into main branch

0.pre7.86.flaky7.27:
(Now DISASSEMBLE 'PRINT produces reasonable-looking output.
In fact, AFAIK it's not flaky any more, so it should
(finally!) be mergeable back into the main branch.)
made GET-FUNCTION-SEGMENTS return a list (as its comments
claim it does, and as its callers expect) even in the
(NULL SEGMENTS) case
renamed DEFUN REQUIRED-ARG to be consistent with all the
previously-renamed MISSING-ARG calls

0.pre7.86.flaky7.26:
Duh. WITH-SIMPLE-RESTART doesn't restart its operation. So it's
not a compiler bug, just the lack of an outer LOOP
wrapper in TOPLEVEL-REPL, which has been blowing the
system up. Gads.

0.pre7.86.flaky7.25:
(This passes regression tests, and seems to be a good thing in
principle, but alas the generalization to include
ENTRYs still doesn't fix the debugger restart problem.)
generalized LAMBDA-CALLS-OR-CLOSES to include ENTRYs

0.pre7.86.flaky7.24:
I've come to suspect that the debugger/restart/QUIT problem
has to do with the same closure/component bug I
fixed above, except for closures over NLXs instead
of over LAMBDA-VARs. So I'd like to generalize the
LAMBDA-REFERS-TO-VARS fix to deal with NLXs as well.
In preparation for that...
...merged LAMBDA-REFERS-TO-VARS and LAMBDA-CALLS into
LAMBDA-CALLS-OR-CLOSES

0.pre7.86.flaky7.23:
about that debugger/restart/QUIT problem...
...added various new /SHOW-ish cruft
...rewrote HANDLER-BIND to be more nearly clearly compatible
with ANSI HANDLER-BIND clause syntax
The RESTART-NAME slot is constant and holds a symbol.

0.pre7.86.flaky7.22:
removed various /SHOW-ish cruft
about that debugger/restart/QUIT problem...
...revived SB-DI:FRAME-CATCHES enough that (BREAK), F 4,
(SB-DI::FRAME-CATCHES SB-DEBUG::*CURRENT-FRAME*)
shows %END-OF-THE-WORLD
...exported SB-VM:*CURRENT-CATCH-BLOCK* to support this

0.pre7.86.flaky7.21:
removed REMOVEME stuff

0.pre7.86.flaky7.20:
(This version bootstrapped successfully from 0.6.13, passed
regression tests, served as its own bootstrap host,
and passed regression tests again. But it still has
debugger/signal/whatever problems, so that A doesn't
work from the debugger prompt, and after it fails,
(SB-EXT:QUIT) doesn't work either.)
The failure in clocc-ansi-test was in the find-the-home-lambda
part of the new code which updates LAMBDA-REFERS-TO-VAR
in IR1 translation of SETQ. We try to find the home
lambda by looking backwards through continuations,
but in the (SETQ X 3) form in
      (SETQ X 2)
      (RETURN-FROM STOP)
      (SETQ X 3))
it doesn't work to look backwards. (To make a point
which eluded me for a while, this isn't a bug in the
way that continuations are set up, it's because the
(SETQ X 3) form is orphaned by the way that control
always jumps out through RETURN-FROM, so that the
(SETQ X 3) form effectively has no home lambda.) So...
...redid CONTINUATION-HOME-LAMBDA in terms of
CONTINUATION-HOME-LAMBDA-OR-NULL, and BLOCK-HOME-LAMBDA
in terms of BLOCK-HOME-LAMBDA-OR-NULL
...made the update-LAMBDA-REFERS-TO-VAR code accept a NIL
answer from CONTINUATION-HOME-LAMBDA-OR-NULL

0.pre7.86.flaky7.19:
(bootstraps itself and gets through many regression tests,
but dies in clocc-ansi-test :SECTION5-LEGACY-699)
The obvious version of scavenging closure-over relationships
still wanders into deleted lambdas, and when I stop
it from wandering into deleted lambdas, the compiler
fails in UNCONVERT-TAIL-CALLS when cross-compiling
pprint.lisp. The problem is that a CONTINUATION-DEST
is NIL when UNCONVERT-TAIL-CALLS is expecting it to
be a NODE. So I looked at the description of DEST in
DEFSTRUCT CONTINUATION, and looking at the way that the
CONTINUATION-DEST is used in UNCONVERT-TAIL-CALLS and...
...made UNCONVERT-TAIL-CALLS handle null values of THIS-CALL
(treating them as "can't possibly be one of the
matches that I'm looking for")

0.pre7.86.flaky7.18:
When I tried to scavenge closure-over relationships in an
earlier failed version (never checked in) I got some
weird failures related to scavenging into deleted
lambdas. In anticipation of reencountering this
problem soon, add some logic to the LAMBDA-CALLS
scavenging to prevent it from happening there, and
an assertion that it never does.

0.pre7.86.flaky7.17:
(still works as well as before, still fails in
pathnames.impure.lisp the same way as before, since all
the changes are still only preparation for a real fix)
removed various INLINEs in ir1util.lisp, to ease debugging and
because I hope sometime next year to be doing some
profiling on the compiler (so that if they really need
to be inlined, I should soon find out)
making FIND-INITIAL-DFO recognize closure dependencies...
...rearranged DFO-SCAVENGE-DEPENDENCY-GRAPH in preparation for
walking through LAMBDA-REFERS-TO-VARS as well as
LAMBDA-CALLS

0.pre7.86.flaky7.16:
(still works as well as before, still fails in
pathnames.impure.lisp the same way as before, since all
the changes are still only preparation for a real fix)
making FIND-INITIAL-DFO recognize closure dependencies,
continued...
...In order to make the information conveniently available
for DFO-SCAVENGE-DEPENDENCY-GRAPH, add a new slot
LAMBDA-REFERS-TO-VARS, analogous to LAMBDA-CALLS.
...made IR1-CONVERT-VARIABLE and DEF-IR1-TRANSLATOR SETQ
set LAMBDA-REFERS-TO-VARS as appropriate
...wrote untidy CONTINUATION-HOME-LAMBDA to support this
...tweaked CONTINUATION-STARTS-BLOCK and LINK-BLOCKS so that
when IR1-CONVERT-IF uses them it sets up links early
enough to let CONTINUATION-HOME-LAMBDA work
...made merge-LETs logic merge LAMBDA-REFERS-TO-VARS as it
already merged LAMBDA-CALLS

0.pre7.86.flaky7.15:
s/walk-home/scavenge-home/ for consistency with old renamings
DTC's analysis of the regression test bug is that Python is
losing a variable because its home CLAMBDA is in one
COMPONENT while the closing-over CLAMBDA is in another
COMPONENT, and the one-COMPONENT-at-a-time physical
environment analysis isn't up to the challenge. Thus
Python deletes the apparently-unused variable and
things deteriorate from there. He produced a fix
involving special-casing top-level variables so that
physenv analysis never deletes them, but neither he
nor I was convinced that this covers all the bases.
So I'll try another approach, making FIND-INITIAL-DFO
treat the home/closure relationship as just as much
of a physical dependency as a function call, and so
prevent separation of the two CLAMBDAs into different
components. Thus...
...s/call-graph/dependency-graph/ to reflect intended
new behavior

0.pre7.86.flaky7.14:
trivial changes made while hunting for the regression test bug

0.pre7.86.flaky7.13:
restored *PRINT-PRETTY* default

0.pre7.86.flaky7.12:
(now bootstraps successfully even without :SB-SHOW)
made unbound-PRINT-OBJECT hack unconditional

0.pre7.86.flaky7.11:
(now bootstraps successfully, at least when :SB-SHOW to
enable the new unbound-PRINT-OBJECT recovery stuff)
added #!+SB-SHOW mechanism to catch and recover from
unbound-PRINT-OBJECT gotchas in PCL bootstrapping

0.pre7.86.flaky7.10:
(now gets to src/pcl/print-object.lisp in warm init before
dying)
s/function/fun/ in DEFSTRUCT PPRINT-DISPATCH-ENTRY to match
the s/function/fun/ in slot accessor names elsewhere

0.pre7.86.flaky7.9:
(can now do (SB!DI:TOP-FRAME) at cold toplevel prompt without
crashing)
fixed %DEFAULT-STRUCTURE-UGLY-PRINT call in
DEFAULT-STRUCTURE-PRINT

0.pre7.86.flaky7.8:
found that suppressing the pretty printer lets the system limp
into warm init (then die around assem-rtns.lisp)

0.pre7.86.flaky7.7:
split REPL out of TOPLEVEL-REPL, partly for style, partly as
part of a hack to try in debugging
REPL shouldn't need two levels of LOOP.

0.pre7.86.flaky7.6:
(This version makes it all the way through xc, then dies
shortly after TOPLEVEL-INIT.)
I guess PLACEHOLDER-FENV is more persistent than I realized, so
old CMU CL code to modify it is actually important, so
SBCL should modify it too.

0.pre7.86.flaky7.5:
(gets through the typep.lisp problem of flaky7.4, now dies
in xc of srctran, apparently because the LABELS code
is still broken)
s/find-lambda-vars/make-lambda-vars/
s/compute-closure/add-lambda-vars-and-let-vars-to-closures/
The old logic in CLOSE-OVER implicitly relied on LEAF-REFS
being completely set up before any CLOSE-OVERs were
called, else CLOSE-OVER could terminate prematurely
in the (MEMBER THING (PHYSENV-CLOSURE)) clause.
It looks as though it might even be the cause of the
failure in xc of typep.lisp. Since I'm finding it
difficult to grok, must less debug the order in which
the compiler initializes and mutates things, any order
dependency is the enemy, so rewrite it so that
it floods more systematically.

0.pre7.86.flaky7.4:
(This version dies with an AVER failure in FIND-IN-PHYSENV
again, this time in xc of typep.lisp. Maybe, since
I'm now substantially more knowledgeable about
PHYSENVs than I was a few weeks ago, this will be
easier to debug.)
fixed bug which caused target-sxhash problem. PAIRLIS: "The
new pairs may appear in the resulting association list
in either forward or backward order." Egads. This is
why the xc dies in target-sxhash: It's not a problem
in &OPTIONAL handling, it's that I used (PAIRLIS ...)
in a recent rewrite of LABELS as though it were
(MAPCAR #'CONS ...), and the code breaks because
PAIRLIS reverses the order on me. So..
..Rewrite DEF-IR1-TRANSLATOR LABELS more thoroughly, so it
loses its dependence on the order of PLACEHOLDER-FENV.

0.pre7.86.flaky7.3:
(This version cross-compiles all the way up to target-sxhash,
where it dies with some sort of bug in &OPTIONAL
arguments in FLET.)
s/physenv-function/physenv-lambda/
PHYSENV-LAMBDA is read-only.
PRE-PHYSENV-ANALYZE-TOPLEVEL does COMPUTE-CLOSURE on all
the LETs of each CLAMBDA.
PREALLOCATE-PHYSENVS-FOR-TOPLEVELISH-LAMBDAS, which
is supposed to play the same role, does not. What
bozo wrote that?:-( Ahem. So..
..Since there's never a good reason to call COMPUTE-CLOSURE
on CLAMBDA without calling it on its LETs as well,
and since I've demonstrated that it's an attractive
nuisance, I'll try to make it less attractive, by
making COMPUTE-CLOSURE automatically run over all the
the LETs, and moving the old COMPUTE-CLOSURE code into
an FLET hidden by the new COMPUTE-CLOSURE interface.

0.pre7.86.flaky7.2:
(still dies with the same assertion failure)
factored out some idioms..
..LAMBDA-BLOCK
..LAMBDA-COMPONENT (previously known as CLAMBDA-COMPONENT)
s/entry-function/entry-fun/
s/tail-set-functions/tail-set-funs/

0.pre7.86.flaky7.1:
(still dies with the same assertion failure)
reexpressing things in an effort to understand them..
..renamed DFO-WALK-CALL-GRAPH to DFO-SCAVENGE-CALL-GRAPH
..s/new-function/new-fun/
..s/reanalyze-function/reanalyze-fun/
..s/local-call-analyze-until-done/locall-analyze-clambdas-until-done/
..s/local-call-analyze/locall-analyze-component/
..s/local-call-analyze-1/locall-analyze-fun-1/

0.pre7.86.flaky7:
(This version dies early in cross-compilation with an assertion
failure, perhaps because PRE-PHYSENV-ANALYZE-TOPLEVEL
isn't being called on the right stuff.)
tried to straighten out function names and debug names,
splitting LEAF-NAME into LEAF-SOURCE-NAME and
LEAF-DEBUG-NAME and making both SOURCE-NAME and
DEBUG-NAME read-only..
..IR1-CONVERT-LAMBDA gets both :SOURCE-NAME and :DEBUG-NAME
keyword arguments, and then IR1-CONVERT-LAMBDA-BODY
and IR1-CONVERT-HAIRY-LAMBDA and
IR1-CONVERT-INLINE-LAMBDA do too
..defined DEBUG-NAMIFY to support this
..deleted no-longer-used COMPILE-FIX-FUN-NAME (and made mental
note that it's probably the reason that old COMPILE
got function debug name right even though %COMPILE
doesn't)
removed no-longer-used PRIMITIVE-TRANSLATOR stuff
noticed that LAMBDA-VARS is read-only

0.pre7.86:
s/top-level/toplevel/, to conform with ANSI EVAL-WHEN
situation names

0.pre7.85:
verified that LAMBDA-NAME isn't just for debugging, but can
break the compiler, too:-(

0.pre7.84:
merged AD patch to remove :GLOBAL-VAR :KIND :CONSTANT
(sbcl-devel 2001-10-02)

0.pre7.83:
deleted unused FAST-SYMBOL-FUNCTION and
OBJECT-NOT-FUNCTION-OR-SYMBOL-ERROR
replaced %COERCE-NAME-TO-FUNCTION and RAW-DEFINITION
with %COERCE-NAME-TO-FUN
s/coerce-callable-to-function/coerce-callable-to-fun/
removed FSET in favor of (SETF SYMBOL-FUNCTION)

0.pre7.82:
s/static-function/static-fun/
another DEFSTRUCT cleanup..
..rewrote structure constructor form to try to make it more
concise and readable

0.pre7.81:
DEFSTRUCT cleanups..
..got rid of old SLOT-ACCESSOR-FORM in favor of
%ACCESSOR-PLACE-FORM, so that now information about
the different types of raw slots is more nearly
centralized in *RAW-SLOT-DATA-LIST*
..moved target-only stuff from near %TARGET-DEFSTRUCT call in
%DEFSTRUCT into %TARGET-DEFSTRUCT
miscellaneous cleanups..
..added (SETQ *PRINT-CIRCLE* T) to the before-proper-printing
hacks in make-target-2.sh
fixed stupid *PRINT-CIRCLE*-related bug in OUTPUT-OBJECT
(introduced in the 0.pre7.76 changes)

0.pre7.80:
fixed raw slot accessor stuff so that it indexes correctly
when it's looking at raw data (rescaling the index by
the element size, as the old DEFUN SLOT-ACCESSOR-FORM
code did but my new code doesn't)
redid *RAW-TYPE->RAWREF-FUN-NAME* as *RAW-SLOT-DATA-LIST*
to support this

0.pre7.79:
added %COMPILER-DEFSTRUCT-generated inline expansions
for type predicates
removed predicate DEFUN from macroexpansion of DEFSTRUCT
(so that now %DEFSTRUCT-generated closures and
%COMPILER-DEFSTRUCT-generated inline expansions do
everything)
moved definitions of SPECIFIER-TYPE stuff later in
early-type.lisp, after DEFSTRUCT VALUES-TYPE, so that
the VALUES-TYPE-P call there can be inlined

0.pre7.78:
miscellaneous DEFSTRUCT-related cleanups..
..There are no longer DEFSTRUCTs in defstruct.lisp itself,
so DEFSTRUCT-parsing stuff no longer needs to be
wrapped in EVAL-WHEN.
..moved DEFUN SLOT-ACCESSOR-FUNS to target-defstruct.lisp
..removed lotso /SHOW stuff from defstruct.lisp
..removed REMOVEMEs

0.pre7.77:
removed slot accessor DEFUNs from macroexpansion of DEFSTRUCT
(so that now %DEFSTRUCT-generated closures and
%COMPILER-DEFSTRUCT-generated inline expanders
do everything)