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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: "J-P. Rosen" <rosen@adalog.fr>
Newsgroups: comp.lang.ada
Subject: Re: some trivial questions?
Date: Sun, 12 Nov 2017 06:21:03 +0100
Organization: Adalog
Message-ID: <ou8lnt$3iq$1@dont-email.me>
References: <6a5368c5-f015-4dcb-9291-e77b40fa1bf1@googlegroups.com>
 <wcc4lq7does.fsf@TheWorld.com> <otrr5u$1rqv$1@gioia.aioe.org>
 <wccd14so07t.fsf@TheWorld.com> <ou14r2$49s$1@gioia.aioe.org>
 <39330489-ec8b-481f-bcff-a5b7d1a2d8e3@googlegroups.com>
 <ou21f3$1bo$1@gioia.aioe.org>
 <7c68eace-8a03-4bfc-806d-aa78a453f97f@googlegroups.com>
 <ou2cdt$mtf$1@gioia.aioe.org> <ou4qn4$os$1@dont-email.me>
 <ou4uvm$uuc$1@gioia.aioe.org>
 <a4af8476-fb70-4369-a65b-270efb890c08@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 12 Nov 2017 05:21:01 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="cb189d3c4feaa4bc37fc78791a3e5527";
	logging-data="3674"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19wigv0B1szZfTHUq78Ojq3"
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101
 Thunderbird/52.4.0
In-Reply-To: <a4af8476-fb70-4369-a65b-270efb890c08@googlegroups.com>
Content-Language: fr
X-Mozilla-News-Host: news://reader80.eternal-september.org
Cancel-Lock: sha1:g9MP6XC+algAP38Isj9SyRKkimw=
Xref: feeder.eternal-september.org comp.lang.ada:48830
Date: 2017-11-12T06:21:03+01:00
List-Id: <comp.lang.ada>

Le 11/11/2017 à 12:32, AdaMagica a écrit :
> But the with-clause is not about dependence, it's only about visibility.
> 
> package A is ...;
> 
> with A;
> package B is ...;
> 
> with B;
> package C is ...;
> 
> C has visibility on B, not on A, but depends on A. Elaboration sequence is about dependence.

Sorry, but I don't agree. It's about logical dependency, because it says
"if you want to understand unit C, you need to understant the
specification on B." Of course, if you want to understand B, you need to
understand A, but that's just because the with is on the spec, it
wouldn't be the case if the with were on the body.

Of course, there is some visibility issue that comes with it: if you
depend on something, it'd better be visible! But the main issue is
dependence.

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr