Re: Elaboration circularity

["Matthew Heaney" <matthew_heaney@acm.org>]

In article <949502026.152029@edh3> , Frode Tenneboe 
<ft@alne.edh.ericsson.se>  wrote:

Did you try doing as GNAT suggested?

The body of edhipc looks something like this:

with edhipclog;
package body edhipc is


Change that by adding a pragma Elaborate_All:

with edhipclog;
pragma Elaborate_All (edhipclog);
package body edhipc is


Make sure the spec of edhipc doesn't have a categorization pragma (in
other words, don't force immediate elaboration of the body).

I think you want to the elaboration order to be:

edhipc (spec)
edhipclog (spec)
edhipclog (body)
edhipc (body)



> I am currently looking into some legacy code which is heavily nested
> with cirular dependencies. Compiling with gnat give the following message:
>
> gnatbind -x client.ali
> error: elaboration circularity detected
> info:    "edhipc (body)" must be elaborated before "edhipc (body)"
> info:       reason: Elaborate_All probably needed in unit "edhipc (body)"
> info:       recompile "edhipc (body)" with -gnatwl for full details
> info:          "edhipc (body)"
> info:             is needed by its spec:
> info:          "edhipc (spec)"
> info:             which is withed by:
> info:          "edhipclog (spec)"
> info:             which is withed by:
> info:          "edhipc (body)"
> gnatmake: *** bind failed.
> *** Error code 4
> make: Fatal error: Command failed for target `client'