From: "Thierry BERNIER" <tajz@free.fr>
Subject: Constant elaboration order
Date: Fri, 30 Nov 2001 22:59:02 +0100
Date: 2001-11-30T22:57:53+01:00 [thread overview]
Message-ID: <3c0800dc$0$211$626a54ce@news.free.fr> (raw)
Bonjour,
From those who learn the RM each evening before sleep, I would like to know
if I can assert that elaboration order is always the same for a given
executable.
It seems clearly true for GNAT when you read the binder generated startup
code (b~foo.adb), but what about the law ?
An interesting advice I found is following, but it does not answer (and is
only an advice).
--
Thierry Bernier:
RM95-10.2.1(12) says :
In an implementation, a type declared in a preelaborated package should have
the same representation in every elaboration of a given version of the
package, whether the elaborations occur in distinct executions of the same
program, or in executions of distinct programs or partitions that include
the given version.
next reply other threads:[~2001-11-30 21:59 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-11-30 21:59 Thierry BERNIER [this message]
2001-12-01 1:25 ` Constant elaboration order Ted Dennison
2001-12-01 16:43 ` Robert Dewar
2001-12-06 22:16 ` Thierry BERNIER
2001-12-06 22:33 ` Matthew Heaney
2001-12-07 14:34 ` Stephen Leake
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox