Re: Elaboration Question

["Randy Brukardt" <randy@rrsoftware.com>]

"Niklas Holsti" <niklas.holsti@tidorum.invalid> wrote in message 
news:ch1k1hFicnqU1@mid.individual.net...
> On 15-01-06 04:33 , Randy Brukardt wrote:
...
>>> 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 :-)

Most of the credit for the index goes to Bob Duff, who originally created 
the index for the Ada 95 RM. I've just kept it up to date following his 
lead.

One thing we didn't index was the Table of Contents. The presumption was 
that people would look there first, but as you've proved, that's not always 
true.

I just added an index entry "preelaborated, implementation requirements, 
C.4(2)", which should help the next person that does as you did.

                                          Randy.