Re: Crosspost: Help wanted from comp.compilers

[Hyman Rosen <hyrosen@mail.com>]

John R. Strohm wrote:
> Where we seem to disagree is that you seem to be believe that only changes
> to source code can produce changes to semantics, and that those changes
> should only propagate through one level of inheritance ('with').

What I believe is that people hated their compilers for doing stuff
like this, and that lengthy recompilation was such an issue that it
became part of the design specs for Ada95. Obviously you can come up
with situations where funny flag settings could require dependents
to be recompiled, but that's not really an excuse for poor quality of
implementation.

 > (Incidentally, this is not far from the example that Jean Ichbiah
 > himself gave when asked why Ada required recompilation of all
 > dependents if a spec that had not changed was recompiled.)

Where does Ada require this?