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,start
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!proxad.net!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mail
From: Wojtek Narczynski <wojtek@power.com.pl>
Newsgroups: comp.lang.ada
Subject: Ada0Y limited with
Date: Fri, 01 Oct 2004 00:23:46 +0200
Organization: tp.internet - http://www.tpi.pl/
Message-ID: <pan.2004.09.30.22.23.45.962614@power.com.pl>
NNTP-Posting-Host: avq130.neoplus.adsl.tpnet.pl
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: atlantis.news.tpi.pl 1096583055 5705 83.27.50.130 (30 Sep 2004
 22:24:15 GMT)
X-Complaints-To: usenet@tpi.pl
NNTP-Posting-Date: Thu, 30 Sep 2004 22:24:15 +0000 (UTC)
User-Agent: Pan/0.14.2 (This is not a psychotic episode. It's a cleansing
 moment of clarity.)
Xref: g2news1.google.com comp.lang.ada:4467
Date: 2004-10-01T00:23:46+02:00
List-Id: <comp.lang.ada>

Hello,

(GNAT in gcc mainline refuses compile the example from the "An invitation
to Ada 2005" presentation, claiming "circular unit dependency" error, so
I have serious problems trying to understand how this is supposed to work.)

Do I need to declare an access type every time I want to use a a type from
the limited-withed package, or can I just use the access type declared in
the limited-withed package?

Which of the following is code illegal?

with Parts;
package Whole is

   type Whole_Type is record
      Part : Parts.Part_Type;
   end record;

   type Whole_Access is access all Whole_Type;

end Whole;
 
 
limited with Whole;
package Parts is
 
   type Part_Type is record
      Prev : Whole.Whole_Access;
      Next : access Whole.Whole_Type;
   end record;
 
end Parts;


Regards,
Wojtek