Re: Elaboration problem with a task

[Martin Dowie <martin.dowie@btopenworld.com>]

JP Thornley wrote:
> gnatbind -static -x proc_p.ali
> error: elaboration circularity detected
> info:    "parent_p (body)" must be elaborated before "parent_p (body)"
> info:       reason: Elaborate_All probably needed in unit "parent_p (body)"
> info:       recompile "parent_p (body)" with -gnatwl for full details
> info:          "parent_p (body)"
> info:             must be elaborated along with its spec:
> info:          "parent_p (spec)"
> info:             which is withed by:
> info:          "parent_p.child_c1 (spec)"
> info:             which is withed by:
> info:          "parent_p (body)"
> 
> gnatmake: *** bind failed.
> 
> 
> Adding pragma Elaborate_All(Parent_P.Child_C1); to the body of Parent_P
> (as suggested) produces the same error except that the pragma is now
> given as the reason for the circularity.
> 
> Using -gnatwl doesn't produce any additional information.
> 
> An unexpected part of the error message is that the body of Parent_P
> "must be elaborated along with its spec". Can anyone explain why this is 
> or otherwise suggest how to avoid the problem.

Have you tried "-gnatE"?

Cheers

-- Martin