From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED.jFK6OqqKW5bkmQ4H/i1UAQ.user.gioia.aioe.org!not-for-mail
From: "Luke A. Guest" <laguest@archeia.com>
Newsgroups: comp.lang.ada
Subject: Re: How can I get this data into the .data section of the binary?
Date: Tue, 16 Jun 2020 13:59:42 +0100
Organization: Aioe.org NNTP Server
Message-ID: <rcafp9$162q$1@gioia.aioe.org>
References: <rcaajp$g3k$1@gioia.aioe.org> <rcaaug$g3k$2@gioia.aioe.org>
 <rcabm8$a70$1@dont-email.me> <rcaeef$hqo$1@gioia.aioe.org>
 <rcaets$our$1@gioia.aioe.org> <rcafid$4lu$1@dont-email.me>
NNTP-Posting-Host: jFK6OqqKW5bkmQ4H/i1UAQ.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.9.0
Content-Language: en-GB
X-Notice: Filtered by postfilter v. 0.9.2
Xref: reader01.eternal-september.org comp.lang.ada:59087
List-Id: <comp.lang.ada>

On 16/06/2020 13:56, J-P. Rosen wrote:
> Le 16/06/2020 à 14:45, Luke A. Guest a écrit :
>>> Except, you can't use that pragma, because it wants all other's to be
>>> preelaborated, but they're not.
>>>
>> And this is one of the things that really annoys me about Ada.
>>
> But how could it be otherwise? If you depend on a non-preelaborable
> unit, then you depend on something which is not computable at compile
> time...

Which misses the point entirely of my original issue, and complete
hatred of this part of Ada. Literally, if something can be compiled to
be in the data section, it should be.