Re: Compilation order. Help with makefiles, please!

[Richard Stallman]

    An "easy" solution is to prefer reading the newer .el files rather than the
    older .elc when `requiring' a file during byte-compilation.

To solve this problem, it would have to load the newer .el file even
if the feature is already provided.

That is quite different from `require', and I don't think we should
change `require' to do that.  But we could add it as a separate new
feature, perhaps called `compilation-require'.

What do you think about that?