Re: Elaboration Question

[Niklas Holsti <niklas.holsti@tidorum.invalid>]

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
       .      @       .