Re: Implementing mutually dependent access types in separate packages

[markb@sdcrdcf.UUCP (Mark Biggar)]

You should have read section 3.8.1 more carefully.

	If the incomplete type declaration occurs immediately within the
	private part of a package, then the full type declaration must occur
	later and immediately within either the private part itself,
	OR THE DECLARATIVE PART OF THE CORRESPONDING PACKAGE BODY.
		(3.8.1 para 3, last sentence)

This means that you can do what you want using something similar to the
following:

package A is
    type ATYPEPTR is private;
private
    type ATYPE;
    type ATYPEPTR is access ATYPE;
end A;

package B is
    type BTYPEPTR is private;
private
    type BTYPE;
    type BTYPEPTR is access BTYPE;
end B;

package C is
    type CTYPEPTR is private;
private
    type CTYPE;
    type CTYPEPTR is access CTYPE;
end C;

with C; use C;
package body A is
    type ATYPE is record
	C: CTYPEPTR;
    end record;
end A;

with A; use A;
package body B is
    type BTYPE is record
	A: ATYPEPTR;
    end record;
end B;

with B; use B;
package body C is
    type CTYPE is record
	B: BTYPEPTR;
    end record;
end C;

Note that there is no cycle in the compilation order as the package specs
can be compiled before any of the bodies.

Happy Ada hacking
Mark Biggar
{allegra,burdvax,cbosgd,hplabs,ihnp4,akgua,sdcsvax}!sdcrdcf!markb