Re: Elaboration circularity

[Jeff Carter <jrcarter010@earthlink.net>]

I've encountered similar problems with legacy code. I eliminated the
circularity using a child package. I don't know if it will work for you,
but here's how it worked for me:

There are 2 packages, A and B. The spec of A has some type declarations
and some operations. The spec of B has "with A;" and references the type
declarations in A. The body of B also references the type declarations
in A. The body of A has "with B;", "pragma Elaborate (B);" (this was
Ada-83 legacy code), and calls the operations of B during elaboration.
Thus B has to be elaborated before A. Hence the circularity: The body of
each package depends on the spec of the other.

I moved the operations of A, including the elaboration that calls B,
into a child package, A.Operations. This allows B to "with A;" and the
body of A.Operations to "with B;" without a circularity. The unit which
called the operations in A had to also be modified to "with
A.Operations;".

HTH.

-- 
Jeff Carter
"You empty-headed animal-food-trough wiper."
Monty Python & the Holy Grail