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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
Path: 
 border2.nntp.dca1.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!eternal-september.org!feeder.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: =?UTF-8?B?QmrDtnJuIEx1bmRpbg==?= <b.f.lundin@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada.Containers warnings with gnat
Date: Mon, 17 Nov 2014 09:13:20 +0100
Organization: A noiseless patient Spider
Message-ID: <m4cak8$d27$1@dont-email.me>
References: <m47o94$cnv$1@dont-email.me> <m484d2$ncu$3@dont-email.me>
 <m49spm$n8t$1@dont-email.me> <m4a27r$871$1@dont-email.me>
 <m4an2p$ij1$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 17 Nov 2014 08:11:52 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="23e59b4906029a0ce22afc4c4b1f25ee";
 logging-data="13383"; mail-complaints-to="abuse@eternal-september.org";
 posting-account="U2FsdGVkX18GA+HdgY/GMgzKq0mi5pSQ"
User-Agent: Mozilla/5.0 (X11; Linux x86_64;
 rv:31.0) Gecko/20100101 Icedove/31.1.2
In-Reply-To: <m4an2p$ij1$1@dont-email.me>
Cancel-Lock: sha1:aEnQivm7tImtgya/f5neS66MYic=
Xref: number.nntp.giganews.com comp.lang.ada:190754
Date: 2014-11-17T09:13:20+01:00
List-Id: <comp.lang.ada>

On 2014-11-16 18:32, Jeffrey Carter wrote:
> On 11/16/2014 04:37 AM, Björn Lundin wrote:
>>
>> It seems to be ok until I - in the body - do
>>
>> with Ada.Streams;
> 
> Delete this one and see what happens. It shouldn't change anything since
> 
>> with Ada.Streams.Stream_IO;
> 
> includes it.
> 

Spot on. No warnings anymore.
Thanks.

But since the with-clause is in the body,
one would think that the warnings would refer to the body, not the spec...

I actually with'ed Ada.Streams for symmetry reason,

with Ada;
with Ada.Streams;
with Ada.Streams.Stream_IO;

looks better (to me) than just

with Ada.Streams.Stream_IO;


It seems that I will need some cognitive training to change my preferences.


--
Björn