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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,c7a5c447f88aecaa,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-11-05 07:52:25 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!cyclone.bc.net!sjcppf01.usenetserver.com!usenetserver.com!newsfeeder.randori.com!newshub2.rdc1.sfba.home.com!news.home.com!news2.POSTED!not-for-mail
From: "Clueless" <chris@dont.spam.me>
Subject: Pre-Elaboration clarification.
Newsgroups: comp.lang.ada
User-Agent: Pan/0.10.0 (Unix)
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Comment-To: ALL
Message-ID: <YAyF7.232247$K6.111187950@news2>
Date: Mon, 05 Nov 2001 15:52:24 GMT
NNTP-Posting-Host: 24.0.109.49
X-Complaints-To: abuse@home.net
X-Trace: news2 1004975544 24.0.109.49 (Mon, 05 Nov 2001 07:52:24 PST)
NNTP-Posting-Date: Mon, 05 Nov 2001 07:52:24 PST
Organization: Excite@Home - The Leader in Broadband http://home.com/faster
Xref: archiver1.google.com comp.lang.ada:15814
Date: 2001-11-05T15:52:24+00:00
List-Id: <comp.lang.ada>

In my Ada spec file, I have the declaration...

	type Int_Data is array(1..Argument_Count) of Integer;

and I'm using the Ada.Command_Line package.

Now, everything compiles fine, and it produces a perfectly usable object
file.

Now, as you may have guessed, the point of this declaration is to create
an array of the type Integer that has as many elements as there are
arguments on the command line.(To be used for assigning numbers to the
array.)

Now, the actual data variable isn't actually elaborated until I get to
the function defintion...

	function Multiply(Some_numbers : in Int_Data) return Integer;

in the same spec file.

Now all appears to be well. No problems.

My question is this...

Is it necessary to specifically instruct the compiler to pre-elaborate
the "type Int_Data" declaration via a pragma, before letting it elaborate
anything else?

Although it really doesnt present any problems here, I can forsee where
such an issue might be a problem later on.
Note: I havent had much of a chance to read up on Pragmas yet, although I
am somewhat familiar with them. I'm also working on familiarizing myself
with order of elaboration issues.

Any pointers(no pun intended) would be helpful.

Thanks.

Clueless
chris@dont.spam.me