(I didn't have convenient access to the Internet for almost a week, so
authorWilliam Harold Newman <william.newman@airmail.net>
Thu, 7 Feb 2002 20:37:51 +0000 (20:37 +0000)
committerWilliam Harold Newman <william.newman@airmail.net>
Thu, 7 Feb 2002 20:37:51 +0000 (20:37 +0000)
commit34dd23563d2f5cf05c72b971da0d0b065a09bf2a
tree999e9e2048964fc884bda74e8e285f379b2f6aac
parent6e7e59adb6f6c30f84b31695b48cb51e2c519d75
(I didn't have convenient access to the Internet for almost a week, so
these versions just piled up on my computer and then I checked 'em
into CVS all at once.)

0.7.1.5:
made TRANSFORM-CALL provide more informative DEBUG-NAMEs
factored out COMBINATION-FUN-SOURCE-NAME and used it to
support this

0.7.1.6:
tweaked comments
(hunted fruitlessly for bug 147 fix)

0.7.1.7:
(hunted fruitlessly for bug 148 fix)
rewrote MAYBE-EXPAND to try to increase clarity

0.7.1.8:
factored out FUNCTIONAL-SOMEWHAT-LETLIKE-P and
FUNCTIONAL-LETLIKE-P
fixed part of the misbehavior in the bug 148 test case (but
not bug 148 itself, alas) by removing the assumption
that non-null FUNCTIONAL-KIND implies
FUNCTIONAL-SOMEWHAT-LETLIKE-P

0.7.1.9:
still trying to fix bug 148...
...stopped MAYBE-REANALYZE-FUN from trying to reanalyze :DELETED
functionals
s/maybe-reanalyze-fun/maybe-reanalyze-functional/
s/reanalyze-funs/reanalyze-functionals/
s/new-funs/new-functionals/

0.7.1.10:
still trying to fix bug 148...
...IR2-CONVERT-CLOSURE shouldn't be called on :DELETED functionals!
...Given that the :DELETED functional is making it all the way
to the IR2-CONVERT-CLOSURE stage, maybe the failure
in MAYBE-REANALYZE-FUNCTIONAL that I made go away in
0.7.1.9 was a good thing. Reinstate it, though more
clearly (as "shouldn't be reanalyzing :DELETED functional"
rather than a type error when trying to find the COMPONENT
of a LAMBDA) than before.
...stopped IR2-CONVERT-CLOSURE from trying to intensively
check CLAMBDA-to-COMPONENT relationship invariants
for :DELETED CLAMBDAs
made INVALID-FREE-FUN-P return true for :DELETED FUNCTIONALs
just on general principles

0.7.1.11:
s/local-call-lossage/locall-already-let-converted/
various puttering and tidying trying to understand bug 148
specifically and code deletion generally

0.7.1.12:
Having walked through the bug 148 problem more carefully, I can
see that before KIDIFY1 is deleted, it's first LET
converted. Ergo, a :DELETED value is consistent with
LET conversion after all, so...
...relaxed the change in IR1-CONVERT-LOCAL-COMBINATION
made in 0.7.1.8, so that now :DELETED is assumed
to be due to LET conversion after all

0.7.1.13:
made :ENCAPSULATE T the default for TRACE, since the
breakpoint-based version still doesn't work reliably
and since the ANSI description of TRACE is partial to
tracing named things anyway
45 files changed:
BUGS
NEWS
TODO
clean.sh
make-host-2.sh
make.sh
src/code/dyncount.lisp
src/code/loop.lisp
src/code/ntrace.lisp
src/code/package.lisp
src/compiler/alpha/call.lisp
src/compiler/checkgen.lisp
src/compiler/control.lisp
src/compiler/debug-dump.lisp
src/compiler/debug.lisp
src/compiler/dfo.lisp
src/compiler/disassem.lisp
src/compiler/ir1-translators.lisp
src/compiler/ir1opt.lisp
src/compiler/ir1tran.lisp
src/compiler/ir1util.lisp
src/compiler/ir2tran.lisp
src/compiler/knownfun.lisp
src/compiler/late-macros.lisp
src/compiler/life.lisp
src/compiler/locall.lisp
src/compiler/main.lisp
src/compiler/meta-vmdef.lisp
src/compiler/node.lisp
src/compiler/pack.lisp
src/compiler/physenvanal.lisp
src/compiler/policy.lisp
src/compiler/seqtran.lisp
src/compiler/stack.lisp
src/compiler/tn.lisp
src/compiler/vmdef.lisp
src/compiler/vop.lisp
src/compiler/x86/call.lisp
src/pcl/low.lisp
tests/character.pure.lisp
tests/clocc-ansi-test-known-bugs.lisp
tests/compiler-1.impure-cload.lisp
tests/compiler.pure.lisp
tests/debug.impure.lisp
version.lisp-expr