Re: Pragma Inline and its Effects of Compilation Dependencies.

[Gautier <gautier.demontmollin@maths.unine.ch>]

> > One of the big advantages of the source based model used first
> > by GNAT, and later by some (but not all) other Ada 95 compilers
> > is that inlining can be done accurately.

Paul Graham wrote:

> Makes you wonder why the library-based method of compilation was used in
> the first place.  Perhaps the intent was to save compilation time by not
> recompiling package sources each time they are USEd in another unit.

This feature doesn't force the library model in the classical Ada83 way.
E.g. Turbo Pascal and successors/clones. Or maybe the "other" Ada95 compilers ?
And it doesn't prevent accurate inlining if compiled specification holds
rich enough information (e.g. from where to pick the procedure to inline
in the source of package body, or some representation of it ?)
______________________________________________________
Gautier  --  http://members.xoom.com/gdemont/gsoft.htm