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