Re: Gnat binding specific question

[Steve Quinlan <steven.quinlan@nospam.lmco.com>]

Boulais, Jeffrey M wrote:

> This is a Gnat specific question, so I'm sorry.
>
> I'm getting a circular withing error during binding (Windows NT, Gnat3.11),
> here's the error:

It's impossible to completely diagnose without knowing what elaboration pragmas
you had in each unit, and what declarations you use from each unit in
elaboration code. It is possible to have legal withing, but generate elaboration
errors by having incorrect elaboration pragmas.

Try taking out the 'pragma elaborate (symbols)' from dgs.adb. If mfd_pkg.ads has
a pragma elaborate for dgs, then you don't need and in fact cannot have this
pragma in dgs. It's the same situation as if you had two packages, a and b,
whose bodies with'ed each other's specs. You cannot have a pragma elaborate for
BOTH withs, only one of them, because in that case the pragmas themselves are
trying to force circular elaboration.

Also, you may need to compile with the -gnatE switch unless you are going to
follow GNAT's recommended elaboration pragma strategy; which, it does not look
like you did, since you said you originally had a 'pragma elaborate' -- they
don't recommend those.