Re: Bounded String question

[Serge Robyns <serge.robyns@gmail.com>]

On Thursday, 12 November 2015 19:13:17 UTC+1, Serge Robyns  wrote:
> On Thursday, 12 November 2015 19:03:19 UTC+1, G.B.  wrote:
> > 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.
> 
> I do confirm the exact diagnostic.

The exact same diagnostic to complete my initial statement.