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,f92fbb4a0420dd57
X-Google-Attributes: gid103376,public
From: Mike Young <mikey@mcs.com>
Subject: Re: some questions re. Ada/GNAT from a C++/GCC user
Date: 1996/04/01
Message-ID: <3160B03B.5230@mcs.com>#1/1
X-Deja-AN: 145354511
references: <wnewmanDoxrCp.DKv@netcom.com>
 <4je9ju$174r@watnews1.watson.ibm.com>
 <ROGOFF.96Mar28134118@sccm.Stanford.EDU> <4jhe1v$m0g@dayuc.dayton.saic.com>
 <4jp17p$17vn@watnews1.watson.ibm.com>
content-type: text/plain; charset=us-ascii
organization: Fen Software, Inc.
mime-version: 1.0
newsgroups: comp.lang.ada
x-mailer: Mozilla 2.0GoldB1 (Win95; I)
Date: 1996-04-01T00:00:00+00:00
List-Id: <comp.lang.ada>

Norman H. Cohen wrote:
> immediately.  Program_Error results if the task is activated before its
> task body has been elaborated, so the fact that declarations in a
> declarative part are elaborated in order is sufficient to guarantee that
> any declaration referred to by the task unit has already been elaborated
> by the time a task of the corresponding task type is activated.

=======
I'm confused. I thought I read an explicit rule (in Barne's book) that 
no order of evaluation was specified for declarations.

Mike.