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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,c0be0882f0d853ce
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!news.glorb.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local1.nntp.dca.giganews.com!nntp.megapath.net!news.megapath.net.POSTED!not-for-mail
NNTP-Posting-Date: Fri, 01 Oct 2004 13:29:35 -0500
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
References: <pan.2004.09.30.22.23.45.962614@power.com.pl>
 <iLCdnXDk2sCzBMHcRVn-ig@megapath.net>
 <pan.2004.10.01.07.52.22.467934@power.com.pl>
Subject: Re: Ada0Y limited with
Date: Fri, 1 Oct 2004 13:30:45 -0500
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4807.1700
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4910.0300
Message-ID: <35OdndWLZciSP8DcRVn-tQ@megapath.net>
NNTP-Posting-Host: 64.32.209.38
X-Trace: 
 sv3-0WeYzrmu5Kczy1uKYvtCKMrJLt0yjSHXrb3EA50CKVzVDh5MMvFu+c0O8U3VeXO1TYab1XZnmSoc/GY!SnTg3R85wW3DTVP7WCVa+8nVI0C9TgD3RlFES5mONyNjaQfk/CybwxFiDJ/e/gawQuhADvWFEcuS
X-Complaints-To: abuse@megapath.net
X-DMCA-Complaints-To: abuse@megapath.net
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.17
Xref: g2news1.google.com comp.lang.ada:4527
Date: 2004-10-01T13:30:45-05:00
List-Id: <comp.lang.ada>

"Wojtek Narczynski" <wojtek@power.com.pl> wrote in message
news:pan.2004.10.01.07.52.22.467934@power.com.pl...
> On Thu, 30 Sep 2004 18:40:36 -0500, Randy Brukardt wrote:
>
> > So, component Prev is wrong; it should look like component Next.
>
> But then it will not be legal to assign 'Whole.Whole_Access' to 'access
> Whole_Type' members?

It is legal; named access types implicitly convert to anonymous access types
as needed. (See 8.6(25)). That's even true in Ada 95, although the rule has
been broadened for Ada 2005.

To go to the named type from the anonymous one, you'd need a type
conversion.

But you may not need the named type at all, since anonymous types can be
used in almost all contexts.

                       Randy.