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=0.4 required=5.0 tests=BAYES_00,INVALID_DATE,
	UNRESOLVED_TEMPLATE autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,7a4380ff535aa24d
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1994-12-06 09:18:04 PST
Path: 
 bga.com!news.sprintlink.net!howland.reston.ans.net!gatech!paladin.american.edu!auvm!EUROCONTROL.DE!wel
Comments: Gated by NETNEWS@AUVM.AMERICAN.EDU
Newsgroups: comp.lang.ada
Message-ID: <9412061634.AA26398@eurocontrol.de>
Date: Tue, 6 Dec 1994 17:34:39 +0100
Sender: Ada programming language <INFO-ADA@NDSUVM1.BITNET>
From: Bob Wells #402 <wel@EUROCONTROL.DE>
Subject: Re: cross linking packages
Comments: To: INFO-ADA%NDSUVM1.BITNET@vm.gmd.de
Date: 1994-12-06T17:34:39+01:00
List-Id: <comp.lang.ada>

Robert Dewar <dewar@CS.NYU.EDU> writes

> Matt a brief answer to your question is that order of elaboration of
> types is critical, and in particular if package a with's package b,
> it is essential that the spec of b be elaborated before the spec of a.
> Remember that elaboration of types in Ada can have all sorts of side
> effects.

Not to mention the obvious extension of this where the body of b must be
elaborated before the spec of a if the spec of a contains declarations of
initialised variables or constants whose values are set by functions
declared in the spec of b. I guess this would also be try for named
numbers aswell.

Bob W.