Re: Ada0Y limited with

["Randy Brukardt" <randy@rrsoftware.com>]

"Wojtek Narczynski" <wojtek@power.com.pl> wrote in message
news:pan.2004.09.30.22.23.45.962614@power.com.pl...
> 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;

Limited with always gives you an incomplete view of any types, so that
clearly applies to Whole_Access as well.

The reason for expanding the use of anonymous access types is to avoid the
junk conversions needed if you define named access types everywhere that you
use limited withed packages.

So, component Prev is wrong; it should look like component Next.

                 Randy Brukardt.