comp.lang.ada
 help / color / mirror / Atom feed
From: Serge Robyns <serge.robyns@gmail.com>
Subject: Re: Bounded String question
Date: Thu, 12 Nov 2015 10:13:15 -0800 (PST)
Date: 2015-11-12T10:13:15-08:00	[thread overview]
Message-ID: <8ae150b2-7bf9-4f98-97df-e4c779ec78e6@googlegroups.com> (raw)
In-Reply-To: <n22k4s$vk3$1@dont-email.me>

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.


  reply	other threads:[~2015-11-12 18:13 UTC|newest]

Thread overview: 36+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-11-10 22:00 Bounded String question Serge Robyns
2015-11-11  0:48 ` Bob Duff
2015-11-11  2:01   ` Jeffrey R. Carter
2015-11-11 15:34     ` Bob Duff
2015-11-11 17:36       ` Jeffrey R. Carter
2015-11-11 19:22         ` Bob Duff
2016-03-06 18:59       ` Xavier Petit
2016-03-07 23:16         ` Randy Brukardt
2016-03-08  0:08           ` Jeffrey R. Carter
2016-03-09  1:18             ` Randy Brukardt
2015-11-11 10:52   ` Serge Robyns
2015-11-11 13:43     ` Serge Robyns
2015-11-11 14:32       ` brbarkstrom
2015-11-11 16:08         ` Serge Robyns
2015-11-11 17:27       ` Jeffrey R. Carter
2015-11-11 20:06         ` Serge Robyns
2015-11-11 20:23           ` AdaMagica
2015-11-11 20:27             ` AdaMagica
2015-11-11 20:32             ` Serge Robyns
2015-11-11 20:40               ` AdaMagica
2015-11-12 17:31                 ` Serge Robyns
2015-11-12 19:10                   ` AdaMagica
2015-11-12 21:29                     ` Randy Brukardt
2015-11-12 18:03                 ` G.B.
2015-11-12 18:13                   ` Serge Robyns [this message]
2015-11-12 18:14                     ` Serge Robyns
2015-11-12 19:37                   ` Randy Brukardt
2015-11-11 20:42           ` Jeffrey R. Carter
2015-11-12 16:59             ` Serge Robyns
2015-11-12 18:39               ` Jeffrey R. Carter
2015-11-12 21:19                 ` Randy Brukardt
2015-11-12 21:27               ` Randy Brukardt
2015-11-12 22:32                 ` Jeffrey R. Carter
2015-11-13  0:07                   ` Randy Brukardt
2015-11-13  1:01                     ` Jeffrey R. Carter
2015-11-11 15:41     ` Bob Duff
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox