From: Georg Bauhaus <rm-host.bauhaus@maps.arcor.de>
Subject: Re: Elaboration circularity with generics
Date: 14 Jan 2012 22:01:32 GMT
Date: 2012-01-14T23:01:32+01:00 [thread overview]
Message-ID: <1007811599348271064.048391rm-host.bauhaus-maps.arcor.de@news.arcor.de> (raw)
In-Reply-To: 583b1bfe-95bd-4669-b16b-c733c81e8f88@w4g2000vbc.googlegroups.com
Maciej Sobczak <see.my.homepage@gmail.com> wrote:
> The -gnatwl option says
> that some Elaborate_All is introduced at the instantiation of P.Q, but
> I see no reason for circularity there.
The circularity vanishes with -gnatE, and the warning message
changes, too. So I guess the circularity is a consequence of
GNAT's default, static elaboration order algorithm. IIRC, some,
though not all of this algorithm is explained in the manual
(else in the source text).
next prev parent reply other threads:[~2012-01-14 22:02 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-01-14 15:09 Elaboration circularity with generics Maciej Sobczak
2012-01-14 16:13 ` Martin Dowie
2012-01-14 16:17 ` AdaMagica
2012-01-14 22:46 ` Simon Wright
2012-01-15 16:55 ` AdaMagica
2012-01-16 15:09 ` Simon Wright
2012-01-16 17:15 ` AdaMagica
2012-01-14 16:26 ` AdaMagica
2012-01-14 22:01 ` Georg Bauhaus [this message]
2012-01-15 17:15 ` Maciej Sobczak
2012-01-15 17:43 ` AdaMagica
2012-01-16 17:02 ` Adam Beneschan
2012-01-16 14:34 ` Robert A Duff
2012-01-16 21:29 ` Maciej Sobczak
2012-01-16 21:52 ` Adam Beneschan
2012-01-16 22:25 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox