From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=1.3 required=5.0 tests=BAYES_00,INVALID_MSGID,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,183821e6c098051b
X-Google-Attributes: gid103376,public
From: Robert Dewar <robert_dewar@my-dejanews.com>
Subject: Re: pragma Elaborate (Comp. Unit) question.
Date: 1999/05/22
Message-ID: <7i7dku$8ld$1@nnrp1.deja.com>#1/1
X-Deja-AN: 481004477
References: <37458C65.3393@pipeline.com> <7i75ko$6km$1@front3.grolier.fr>
X-Http-Proxy: 1.0 x31.deja.com:80 (Squid/1.1.22) for client 129.37.79.66
Organization: Deja.com - Share what you know. Learn what you don't.
X-Article-Creation-Date: Sat May 22 23:12:30 1999 GMT
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I)
Date: 1999-05-22T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <7i75ko$6km$1@front3.grolier.fr>,
  "Thierry Lelegard" <lelegard@club-internet.fr> wrote:
> The correct order of elaboration is deterministic but many
> cases cannot be detected during compilation, not even during
> link. The developer is the only one to know (sometimes he does
> even know :-))

Note that in most cases GNAT can determine a correct reliable
order of elaboration at compile/link time, and does not need
dynamic checks. See the chapter on elaboration issues in the
GNAT users guide for a complete description of the static
semantic model for elaboration used by default in GNAT.


--== Sent via Deja.com http://www.deja.com/ ==--
---Share what you know. Learn what you don't.---