From: "Matthew Heaney" <matthew_heaney@acm.org>
Subject: Re: generic package dilemma
Date: 1999/11/19
Date: 1999-11-19T00:00:00+00:00 [thread overview]
Message-ID: <383569db_2@news1.prserv.net> (raw)
In-Reply-To: 383510EA.9DFEE8B6@mail.com
In article <383510EA.9DFEE8B6@mail.com> , Mats Weber <matsw@mail.com>
wrote:
> No. I totally agree with Robert Dewar here: never use Elaborate, use
> Elaborate_All instead.
OK, I'm convinced. Never use pragma Elaborate; always use pragma
Elaborate_All. Either Norm's book is wrong, or I misinterpreted what he
said (probably the latter).
> Your approach of using Elaborate at each level, besides being hard to
> enforce on a large project, puts unnecessary constraints on the
> elaboration order: in our example, where P2I instantiates P2
> instantiates P1, valid elaboration orders are: P1, P2, P2I and P2, P1,
> P2I. You are unnecessarily enforcing the first one with your approach.
I just assumed that whenever you instantiate a package (inside another
package), that you have to pragma Elaborate_All the generic unit.
But you seem to advocate only a conditional application of this
guideline. When specifically do you recommend using Elaborate_All,
versus not needing to bother?
--
It is impossible to feel great confidence in a negative theory which has
always rested its main support on the weak points of its opponent.
Joseph Needham, "A Mechanistic Criticism of Vitalism"
next prev parent reply other threads:[~1999-11-19 0:00 UTC|newest]
Thread overview: 44+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-11-17 0:00 generic package dilemma Riyaz Mansoor
1999-11-17 0:00 ` Matthew Heaney
1999-11-17 0:00 ` Mats Weber
1999-11-17 0:00 ` Matthew Heaney
1999-11-18 0:00 ` Mats Weber
1999-11-18 0:00 ` Matthew Heaney
1999-11-19 0:00 ` Mats Weber
1999-11-19 0:00 ` Vladimir Olensky
1999-11-19 0:00 ` Matthew Heaney [this message]
1999-11-19 0:00 ` Robert Dewar
1999-11-19 0:00 ` Robert I. Eachus
1999-11-22 0:00 ` Robert Dewar
1999-11-22 0:00 ` Matthew Heaney
1999-11-19 0:00 ` Matthew Heaney
1999-11-20 0:00 ` Mats Weber
1999-11-19 0:00 ` Mats Weber
1999-11-22 0:00 ` Robert Dewar
1999-11-22 0:00 ` Mats Weber
1999-11-22 0:00 ` Bryce Bardin
1999-11-23 0:00 ` Robert Dewar
1999-11-22 0:00 ` Mats Weber
1999-11-22 0:00 ` Robert A Duff
1999-11-23 0:00 ` Robert Dewar
1999-12-01 0:00 ` Robert I. Eachus
1999-12-01 0:00 ` Robert I. Eachus
1999-11-22 0:00 ` Larry Kilgallen
1999-11-23 0:00 ` Robert Dewar
1999-11-22 0:00 ` Robert A Duff
1999-11-23 0:00 ` Robert Dewar
1999-11-29 0:00 ` Robert A Duff
1999-12-01 0:00 ` Robert Dewar
1999-12-01 0:00 ` Robert A Duff
1999-12-02 0:00 ` Mats Weber
1999-12-03 0:00 ` Robert Dewar
1999-12-03 0:00 ` Ted Dennison
1999-12-04 0:00 ` Robert Dewar
1999-12-03 0:00 ` Robert A Duff
1999-12-06 0:00 ` Robert Dewar
1999-11-18 0:00 ` Robert A Duff
1999-11-18 0:00 ` Matthew Heaney
1999-11-19 0:00 ` Robert Dewar
1999-11-18 0:00 ` Riyaz Mansoor
1999-11-19 0:00 ` Robert Dewar
1999-11-19 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