From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 4.0.1 (2024-03-25) on
	ip-172-31-91-241.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=3.0 tests=FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=4.0.1
Path: nntp.eternal-september.org!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: Blady <p.p11@orange.fr>
Newsgroups: comp.lang.ada
Subject: Re: Error: container cannot be indexed with "Cursor"
Date: Sat, 9 Aug 2025 16:25:26 +0200
Organization: A noiseless patient Spider
Message-ID: <1077lom$1bg22$1@dont-email.me>
References: <1075m9f$tr0h$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 09 Aug 2025 14:25:27 +0000 (UTC)
Injection-Info: dont-email.me; posting-host="13971fab5f5b399d7041e2d47cba4933";
	logging-data="1425474"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1917w+ZRKs+OnE/prYbaC0s"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:0141Yh68vYGpLMBwKyhrmaMtFGw=
Content-Language: fr, en-US
In-Reply-To: <1075m9f$tr0h$1@dont-email.me>
Xref: feeder.eternal-september.org comp.lang.ada:66862
List-Id: <comp.lang.ada>

Le 08/08/2025 à 22:22, Blady a écrit :
> Hello,
> 
> Container type UX is declared as:
>     type UX is tagged private with
>       Constant_Indexing => Constant_Reference, Variable_Indexing => 
> Reference, Default_Iterator => Iterate,
>       Iterator_Element  => Character,
>       Aggregate => (Empty => Empty, Add_Unnamed => Append, New_Indexed 
> => New_Vector, Assign_Indexed => Replace_Element);
> 
> 
> I declare:
> 
> S3 : UX;
> ...
> 80.    for I in S3.Iterate loop
> 82.       if F then
> 83.          S3(I) := 'e';
> 84.       end if;
> 85.       C := S3 (I);
> 87.    end loop;
> 
> GNAT 15 issues the errors:
> test.adb:83:10: error: container cannot be indexed with "Cursor"
> test.adb:85:14: error: container cannot be indexed with "Cursor"
> 
> Prior GNAT versions didn't issued any errors.
> 
> Is there a change in Ada standard? or GNAT?
> Why is cursor indexing not possible?

Same with of form:
   for CC of S2 loop
error: container cannot be indexed with "Cursor"

Compiler bug?