Re: Bounded String question

["G.B." <bauhaus@futureapps.invalid>]

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? GNAT does not rejected this
"pure" one either:

procedure Purity (A : Integer) is

    pragma Pure (Purity);

    type P is access String;

    X : P := new String'("abc");
    Y : String := Integer'Image (A);
    Z : String := Y (1) & Y (A);

begin
    Y (3) := X (1);
end Purity;

Diagnostics change in the opposite direction when the same declarations
appear in a package spec.