Re: Bounded String question

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

"G.B." <bauhaus@futureapps.invalid> wrote in message 
news:n22k4s$vk3$1@dont-email.me...
> On 11.11.15 21:40, AdaMagica wrote:
>> Am Mittwoch, 11. November 2015 21:32:39 UTC+1 schrieb Serge Robyns:
>>> This how this whole thread started.  That construct does not work
>>> with pragma preelaborate.  But this was exactly the code I had initially 
>>> :-)
>>
>> No complaint from GNAT GPL 2015:
>> --------------------------------
>>
>> with Ada.Strings; use Ada.Strings;
>> with Ada.Strings.Bounded;
>>
>> procedure BS_Test is
>>
>>    pragma Preelaborate;
>
> Are the requirements for Elaborate (or for Pure) different for
> a library unit that is a subprogram?

Yes. The Preelaborate rules only apply at library level, and a procedure is 
not library level by definition.

One cannot declare a preelaborable bounded string constant, as the 
initialization will necessarily fail the preelaboration checks.

I recently worked out a proposal that could have changed that, but it became 
way too complex and it went nowhere. (Recall the similar discussion here 
about having a preelaborable constant of type Address.)

                                         Randy.


                     Randy.