RE: file-requires does not reflect source file changes, even after file is loaded

[Drew Adams]

    I cleaned up the situation with load-history.  It will now always
    contain absolute file names, except while Emacs is being built and
    dumped.  I also clarified various doc strings and the Lisp manual.

Wow! That's a lot of change I didn't expect for this release.
Thanks.

I guess that means:

 - (load "foo.el") will put a foo.el entry in load-history,
   or update an existing one.

 - (load "foo.elc") will put a foo.elc entry in load-history,
   or update an existing one.

 - (load "foo") will put a foo.elc entry in load-history,
   if that file exists (even if out-of-date - like today),
   or update an existing one.

 - (load "foo") will put a foo.el entry in load-history,
   if no file foo.elc exists, or update an existing one.

Is that correct?

What happens if both el and elc exist, you load "foo" or "foo.elc", so
"foo.elc" is added to load-history, you then delete "foo.elc" and load
"foo"? Does the existing "foo.elc" entry in load-history get updated, or
does a new "foo.el" entry get created? I guess the latter.

If the latter, does  the foo.elc entry (which now corresponds to no file)
get deleted? If not, what then happens when you call file-requires? I guess
that treats its FILE arg the same way, so if you do (file-requires "foo")
you get the info on the "foo.elc" entry (which now corresponds to a
non-existent "foo.elc"). Is that correct?

Sorry for the rambling guesses, but I'm curious how this will work wrt a
FILE arg that is just "foo", when only absolute file names are used in
load-history. The load-history stuff is tricky and full of pitfalls (or so
it seems to me).

Anyway, this sounds like progress. Thanks.