From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Mutating elements of constant list using a container element iterator
Date: Thu, 6 Aug 2015 14:02:16 -0500
Date: 2015-08-06T14:02:16-05:00 [thread overview]
Message-ID: <mq0avp$a82$1@loke.gir.dk> (raw)
In-Reply-To: 0c1904af-8ede-4694-a50a-ac9f60d7dc63@googlegroups.com
<martinbbjerregaard@gmail.com> wrote in message
news:0c1904af-8ede-4694-a50a-ac9f60d7dc63@googlegroups.com...
...
> http://www.ada-auth.org/standards/12rat/html/Rat12-8-3.html says:
> "If we write
> for E of The_List loop
> ... -- do something to Element E
> end loop;
> then we can change the element E unless The_List has been declared as
> constant."
>
> Is this a bug?
Definitely a bug. There is an ACATS test for this that was created in June
2014 and corrected in July 2014; presumably GNAT was fixed sometime after
that. That would explain why GNATPro properly detects the error, probably
GNAT GPL was split off sooner than the fix.
Randy.
prev parent reply other threads:[~2015-08-06 19:02 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-08-04 23:56 Mutating elements of constant list using a container element iterator martinbbjerregaard
2015-08-05 7:32 ` Egil H H
2015-08-05 11:23 ` martinbbjerregaard
2015-08-05 7:43 ` Jacob Sparre Andersen
2015-08-05 11:35 ` martinbbjerregaard
2015-08-06 19:02 ` Randy Brukardt [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox