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=unavailable autolearn_force=no version=3.4.4
Path: 
 border2.nntp.dca1.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!news-2.dfn.de!news.dfn.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Elaboration Question
Date: Tue, 06 Jan 2015 10:17:52 +0200
Organization: Tidorum Ltd
Message-ID: <ch1k1hFicnqU1@mid.individual.net>
References: <Xeopw.842131$No4.595859@fx19.iad>
 <_3spw.995330$Fo3.305798@fx09.iad>
 <176076d0-ca97-46b5-8b6f-81e9289643c4@googlegroups.com>
 <b99580ed-aff8-41f2-a125-35a695827d85@googlegroups.com>
 <cgoihuF7sr6U1@mid.individual.net> <m8fhha$1ig$1@loke.gir.dk>
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net Z4mbjyNhNqj6jRQwBI0oDQ9MasNTlxqkQuWCi4QHgcB11yk1K4
Cancel-Lock: sha1:RFIRN892BIGRa1L3HN48ueKMZMo=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8;
 rv:31.0) Gecko/20100101 Thunderbird/31.3.0
In-Reply-To: <m8fhha$1ig$1@loke.gir.dk>
Xref: number.nntp.giganews.com comp.lang.ada:191705
Date: 2015-01-06T10:17:52+02:00
List-Id: <comp.lang.ada>

On 15-01-06 04:33 , Randy Brukardt wrote:
> "Niklas Holsti" <niklas.holsti@tidorum.invalid> wrote in message
> news:cgoihuF7sr6U1@mid.individual.net...
> ...
>>> The onus is on the calling code to ensure elaboration happens
>>> correctly.  The best strategy to use from the library-side is to just
>>> make sure all your code is Preelaborate (or Pure), and the problem
>>> solves itself.
>>
>> This advice probably works in practice, but formally speaking, I cannot
>> find a promise in the Ada RM (2012 version) that a Preelaborable library
>> unit is free of elaboration code.
>
> You need to look in Annex C, specifically C.4 Preelaboration Requirements

Ah yes, thanks for the correction. I missed C.4 because I was scanning 
the RM Index for "preelabo", and the only reference to C.4 in the Index 
seems to be for the term "load time".

Kudos to you for making the Index so good that it is my preferred way to 
search for RM info. Demerits to me for not searching in other ways, such 
as by reading the table of contents :-)

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .