From: Robert Dewar <dewar@gnat.com>
Subject: Re: Pragma Inline and its Effects of Compilation Dependencies.
Date: 2000/03/22
Date: 2000-03-22T00:00:00+00:00 [thread overview]
Message-ID: <8b94tg$9jt$1@nnrp1.deja.com> (raw)
In-Reply-To: 38D7F4D8.1AE44625@maths.unine.ch
In article <38D7F4D8.1AE44625@maths.unine.ch>,
Gautier <gautier.demontmollin@maths.unine.ch> wrote:
> 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 ?)
You miss the point. The Ada 83 library approach is based on the
idea that a compilation NEVER accesses anything that has not
been previously compiled. That is quite fundamental to the
model. If you are talking about looking at sources of things
that have not been compiled yet, then you are talking about
the other model (the source based model).
Once again, to be clear, the classical Ada 83 model has a
compilation process that is
library x single-source ----------> updated library
compile
The source based model has a quite different compilation
process that looks like
all-other-sources x one identified source -------> object
compile
Further details are in the existing literature. As I said
earlier, the only way to do full inlining with the classical
library model is to delay inlining until binding, which is
a very heavy burden, since it means delaying much or even all
code generation till bind time.
Robert Dewar
Ada Core Technologies
Sent via Deja.com http://www.deja.com/
Before you buy.
next prev parent reply other threads:[~2000-03-22 0:00 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-03-20 0:00 Pragma Inline and its Effects of Compilation Dependencies Ralph Corderoy
2000-03-21 0:00 ` Samuel T. Harris
2000-03-23 0:00 ` Ralph Corderoy
2000-03-24 0:00 ` Samuel T. Harris
2000-03-24 0:00 ` Robert Dewar
2000-03-21 0:00 ` Robert Dewar
2000-03-21 0:00 ` Paul Graham
2000-03-21 0:00 ` Gautier
2000-03-22 0:00 ` Robert Dewar [this message]
2000-03-22 0:00 ` Wes Groleau
2000-03-22 0:00 ` Robert A Duff
2000-03-22 0:00 ` Larry Kilgallen
2000-03-22 0:00 ` Ted Dennison
2000-03-22 0:00 ` Robert Dewar
2000-03-22 0:00 ` Larry Kilgallen
2000-03-22 0:00 ` Ken Garlington
2000-03-23 0:00 ` Ralph Corderoy
2000-03-23 0:00 ` Robert Dewar
2000-03-24 0:00 ` Robert A Duff
2000-03-22 0:00 ` Robert Dewar
2000-03-23 0:00 ` Ralph Corderoy
2000-03-23 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox