Re: circular unit dependency

["Robert I. Eachus" <rieachus@attbi.com>]

Stephen Leake wrote:

> If you have something like:
> 
> with A;
> package B is
>   
>    type B_Type is record
>       A_Obj : A.A_Type;
>    end record;
> end B;
> 
> with B;
> package A is
>   
>    type A_Type is record
>       B_Obj : B.B_Type;
>    end record;
> end A;
> 
> then the only way to "fix" this is to put both types in one package.
> They belong together, since they are dependent on each other.

Actually if he has a circular definition like that, he needs to do more 
than just change the package structure.  There is no way that a object 
of A_Type or B_Type can exist.  He would need to add an access type to 
break the cycle.