From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: generic package dilemma
Date: 1999/12/04
Date: 1999-12-04T00:00:00+00:00 [thread overview]
Message-ID: <82a4ni$8so$1@nnrp1.deja.com> (raw)
In-Reply-To: 828nuu$95s$1@nnrp1.deja.com
In article <828nuu$95s$1@nnrp1.deja.com>,
Ted Dennison <dennison@telepath.com> wrote:
> Interesting. Have you given any thought to doing this for
> other implemetation-defined things, like ordering of record
> fields and caching of global data?
No, because that does not serve the purpose of writing reliable
programs using GNAT. In the case of elaboration order, if you
are using -gnatE, you really want to make sure that all the
necessary pragma Elaborate_All statements are in place, since
otherwise your program can run into maintenance problems when
changes are made.
However, in the case of ordering of record fields, we guarantee
that there is no reordering in GNAT, so that is not a source
of unreliability. It might be useful if you are using GNAT to
develop programs that are intended to port to other Ada
compilers, but our primary goal is to provide the features to
write reliable programs using GNAT, so this is definitely a
secondary low priority goal.
We do give warnings in cases where the code has clearly
undesirable implementation dependent properties that might
change in future releases.
Sent via Deja.com http://www.deja.com/
Before you buy.
next prev parent reply other threads:[~1999-12-04 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 ` Robert A Duff
1999-11-18 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 ` Matthew Heaney
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 ` Larry Kilgallen
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 ` 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 [this message]
1999-12-03 0:00 ` Robert A Duff
1999-12-06 0:00 ` Robert Dewar
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 ` Vladimir Olensky
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