From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-3.2 required=3.0 tests=BAYES_00,NICE_REPLY_A,
	T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R.Carter" <spam.jrcarter.not@spam.acm.org.not>
Newsgroups: comp.lang.ada
Subject: Re: strange cursor in nested containers
Date: Sat, 22 Apr 2023 20:33:14 +0200
Organization: A noiseless patient Spider
Message-ID: <u2199a$3cm0v$1@dont-email.me>
References: <a346f13d-9876-488a-9472-4563de130311n@googlegroups.com>
 <6aa39f27-62ca-4486-9fc7-1c713da5b098n@googlegroups.com>
 <lyttxak3ag.fsf@pushface.org>
 <ed311a62-41ba-493e-a4cc-481402a1cc6bn@googlegroups.com>
 <u209li$37hob$1@dont-email.me>
 <f72b8843-6022-408d-bf90-56be02010b73n@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 22 Apr 2023 18:33:14 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="850f35eea88dfa029483915c2ca22df4";
	logging-data="3561503"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18+IhKxgQ1PyzA8c0G4pKo7kmOMAi+YGn4="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
 Thunderbird/102.10.0
Cancel-Lock: sha1:sYtkKSWWM4hLjo2ysQD8vvD3P5c=
In-Reply-To: <f72b8843-6022-408d-bf90-56be02010b73n@googlegroups.com>
Content-Language: en-US
Xref: news.eternal-september.org comp.lang.ada:65128
List-Id: <comp.lang.ada>

On 2023-04-22 19:04, Mario Blunk wrote:
> I wonder why at runtime no exception is raised.
> How could I solve the problem ? Not using "rename" ? Using an aliased access type as John Barnes suggests in Ada2005 on page 275 ?

You have to avoid calling Element. Since you have a cursor, you can call 
Query_Element, which should pass the actual element to the procedure you supply.

-- 
Jeff Carter
"He didn't get that nose from playing ping-pong."
Never Give a Sucker an Even Break
110