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
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,16e3a8dd4f3ab3f3
X-Google-Attributes: gid103376,public
From: Ken Garlington <garlingtonke@lfwc.lockheed.com>
Subject: Re: Elaboration order
Date: 1996/03/21
Message-ID: <3151529C.6515@lfwc.lockheed.com>#1/1
X-Deja-AN: 143612536
references: <314701A1.469D@lfwc.lockheed.com> <Do8JDv.A2v@world.std.com>
 <31494143.3825@lfwc.lockheed.com> <4icbnc$cda@wdl1.wdl.loral.com>
 <314D2E1C.5C72@lfwc.lockheed.com> <4in4am$klb@watnews1.watson.ibm.com>
 <4inpiv$alk@cliffy.lfwc.lockheed.com> <dewar.827293943@schonberg>
content-type: text/plain; charset=us-ascii
organization: Lockheed Martin Tactical Aircraft Systems
mime-version: 1.0
newsgroups: comp.lang.ada
x-mailer: Mozilla 2.0 (Macintosh; I; 68K)
Date: 1996-03-21T00:00:00+00:00
List-Id: <comp.lang.ada>

Robert Dewar wrote:
> 
> Are there ACVC tests to test order of elaboration? Sure!
> Do they help ensure that compilers are correct in this respect? Sure!

I think Mike was saying, "Although I know that the ACVC can never
guarantee correct compilation, does it have tests that address elaboration
order?" It sounds like the answer (shorn of some of the heat) is "yes".
Could you perhaps e-mail Mike or myself a pointer as to where to find those
tests, so we can see how they work?