From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Elaboration order
Date: 1996/03/20
Date: 1996-03-20T00:00:00+00:00 [thread overview]
Message-ID: <dewar.827370686@schonberg> (raw)
In-Reply-To: 4ipdfj$1fv2@watnews1.watson.ibm.com
Norm says:
"In fact, for a library generic unit, Elaborate is always sufficient,
since the elaboration of a generic body does not have any semantic effect
(other than to mark the generic body as ready for instantiation). In
particular, it cannot call a subprogram or instantiate a generic with a
still-unelaborated body. There is a small chance that Elaborate_All will
introduce too many constraints on the elaboration order, making it
impossible to find an acceptable order."
Actually we have found that pragma Elaborate_All *often* introduces
bogus circularities. Elaborate_All is pessimistic, it assumes that
every possible function call that could be made will be made. You
are certainly safe if EA works, but it may well be TOO pessimistic.
Indeed it was our early experience in GNAT with Elaborate_All that
lead to the suggestion to retain Elaborate as a non-obsolescent feature.
next prev parent reply other threads:[~1996-03-20 0:00 UTC|newest]
Thread overview: 66+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <314701A1.469D@lfwc.lockheed.com>
1996-03-15 0:00 ` Elaboration order Robert I. Eachus
1996-03-15 0:00 ` Robert Dewar
[not found] ` <1996Mar14.021345.9856@enterprise.rdd.lmsc.lockheed.com>
[not found] ` <314829CD.4FA9@lfwc.lockheed.com>
1996-03-15 0:00 ` Tucker Taft
1996-03-15 0:00 ` Ken Garlington
1996-03-16 0:00 ` Joe Wierzbowski
1996-03-26 0:00 ` AdaWorks
1996-03-26 0:00 ` Robert A Duff
1996-03-26 0:00 ` Robert Dewar
1996-03-26 0:00 ` IO in Pure packages, debugging Laurent Guerby
1996-03-26 0:00 ` Elaboration order Robert A Duff
1996-03-26 0:00 ` Robert Dewar
1996-03-16 0:00 ` Ted Dennison
1996-03-26 0:00 ` Laurent Guerby
1996-03-26 0:00 ` Robert A Duff
1996-03-18 0:00 ` Ted Dennison
1996-03-18 0:00 ` Ken Garlington
1996-03-19 0:00 ` Michel Gauthier
[not found] ` <Do8JDv.A2v@world.std.com>
[not found] ` <31494143.3825@lfwc.lockheed.com>
1996-03-15 0:00 ` Robert A Duff
1996-03-18 0:00 ` Norman H. Cohen
[not found] ` <EACHUS.96Mar18143219@spectre.mitre.org>
1996-03-18 0:00 ` Robert Dewar
1996-03-18 0:00 ` Robert Dewar
1996-03-19 0:00 ` Ted Dennison
1996-03-20 0:00 ` David Emery
1996-03-15 0:00 ` Mark A Biggar
1996-03-18 0:00 ` Ken Garlington
1996-03-19 0:00 ` Norman H. Cohen
1996-03-20 0:00 ` Cordes MJ
1996-03-19 0:00 ` Robert Dewar
1996-03-21 0:00 ` Cordes MJ
1996-03-21 0:00 ` Ken Garlington
1996-03-20 0:00 ` Robert A Duff
1996-03-20 0:00 ` Cordes MJ
1996-03-20 0:00 ` Robert Dewar
1996-03-21 0:00 ` Ken Garlington
1996-03-20 0:00 ` Robert A Duff
1996-03-22 0:00 ` Cordes MJ
1996-03-23 0:00 ` JP Thornley
1996-03-25 0:00 ` Robert Dewar
1996-03-26 0:00 ` JP Thornley
1996-03-19 0:00 ` Chris McKnight
1996-03-21 0:00 ` Ken Garlington
1996-03-20 0:00 ` Robert I. Eachus
1996-03-22 0:00 ` Robert I. Eachus
1996-03-22 0:00 ` Robert I. Eachus
1996-03-20 0:00 ` DenReimer
1996-03-20 0:00 ` Tucker Taft
1996-03-20 0:00 ` Robert A Duff
1996-03-20 0:00 ` Norman H. Cohen
1996-03-20 0:00 ` Robert Dewar [this message]
1996-03-20 0:00 ` Norman H. Cohen
1999-11-15 0:00 Elaboration Order Wolf-Dieter Heker
1999-11-15 0:00 ` Robert Dewar
1999-11-16 0:00 ` Wolf-Dieter Heker
1999-11-16 0:00 ` Robert Dewar
1999-11-16 0:00 ` Robert Dewar
1999-11-20 0:00 ` Simon Wright
1999-11-22 0:00 ` Robert Dewar
1999-11-23 0:00 ` Mats Weber
1999-11-16 0:00 ` David C. Hoos, Sr.
1999-11-15 0:00 ` Jean-Pierre Rosen
1999-11-15 0:00 ` Robert Dewar
1999-11-16 0:00 ` Jean-Pierre Rosen
1999-11-20 0:00 ` Simon Wright
[not found] <DoDMLL.1F9@world.std.com>
1996-03-18 0:00 ` Elaboration order Chris McKnight
-- strict thread matches above, loose matches on Subject: below --
1996-03-18 0:00 Jean-Pierre Rosen
1996-03-21 0:00 ` Ken Garlington
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox