From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,5f9c25380ec58962
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.189.202 with SMTP id gk10mr4062825pbc.4.1326578524659;
        Sat, 14 Jan 2012 14:02:04 -0800 (PST)
Path: 
 lh20ni182588pbb.0!nntp.google.com!news2.google.com!news.glorb.com!feeder.erje.net!news-2.dfn.de!news.dfn.de!news.uni-stuttgart.de!news.belwue.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
User-Agent: NewsTap/3.5.1 (iPad)
From: Georg Bauhaus <rm-host.bauhaus@maps.arcor.de>
Newsgroups: comp.lang.ada
Mime-Version: 1.0
Message-ID: 
 <1007811599348271064.048391rm-host.bauhaus-maps.arcor.de@news.arcor.de>
Subject: Re: Elaboration circularity with generics
References: <583b1bfe-95bd-4669-b16b-c733c81e8f88@w4g2000vbc.googlegroups.com>
Date: 14 Jan 2012 22:01:32 GMT
Organization: Arcor
NNTP-Posting-Date: 14 Jan 2012 23:01:32 CET
NNTP-Posting-Host: 4de48c8b.newsspool2.arcor-online.net
X-Trace: 
 DXC=nS?JkncnPh7kUFX=Y?aLP;A9EHlD;3Yc24Fo<]lROoR18kF<OcfhCO;@:>SDEfdW76nc\616M64>:Lh>_cHTX3j=7ILHoWbBmi5
X-Complaints-To: usenet-abuse@arcor.de
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Date: 2012-01-14T23:01:32+01:00
List-Id: <comp.lang.ada>

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).