From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: Victor Porton <porton@narod.ru>
Newsgroups: comp.lang.ada
Subject: Re: Ada.Containers.Indefinite_Holders in GNAT and Ada2012
Date: Sat, 09 Aug 2014 22:43:29 +0300
Organization: Aioe.org NNTP Server
Message-ID: <ls5tkt$6g2$1@speranza.aioe.org>
References: <ls5sio$4pf$1@speranza.aioe.org>
NNTP-Posting-Host: AnnUDmZwVERVUXyHDyOl5A.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset="ISO-8859-1"
Content-Transfer-Encoding: 7Bit
X-Complaints-To: abuse@aioe.org
User-Agent: KNode/4.12.4
X-Notice: Filtered by postfilter v. 0.8.2
Xref: news.eternal-september.org comp.lang.ada:21628
Date: 2014-08-09T22:43:29+03:00
List-Id: <comp.lang.ada>

Victor Porton wrote:

> I tried to write:
> 
> Element(Object)'Access;
> 
> for "Object" being a value of an instance of
> Ada.Containers.Indefinite_Holders.
> 
> This does not work because the return type of Element is not aliased.

By the way, does it makes sense in the next Ada specification to make the 
return type of "Element" function aliased?

> Then I tried:
> 
> Reference(Object).all'Access;
> 
> This does not work because in GNAT 4.9 a-coinho.ads source file is not up
> to date with Ada2012 and there are no Reference function here.
> 
> My questions:
> 
> 1. How long to wait for GNAT to work with this? (in which GNAT version?)
> 
> 2. In a conforming Ada2012 compiler `Reference(Object).all'Access;` is
> semantically correct, isn't it?
> 
> In the meantime, I need to write for my private use a container similar to
> Ada.Containers.Indefinite_Holders for aliased objects by myself :-(
> 
-- 
Victor Porton - http://portonvictor.org