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,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.236.103.164 with SMTP id f24mr67367867yhg.11.1416242397857;
 Mon, 17 Nov 2014 08:39:57 -0800 (PST)
X-Received: by 10.182.76.70 with SMTP id i6mr14949obw.35.1416242397580; Mon,
 17 Nov 2014 08:39:57 -0800 (PST)
Path: 
 border2.nntp.dca1.giganews.com!nntp.giganews.com!s7no18892qap.1!news-out.google.com!c9ni14081igv.0!nntp.google.com!h15no2060411igd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 17 Nov 2014 08:39:57 -0800 (PST)
In-Reply-To: <m4cak8$d27$1@dont-email.me>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=149.32.224.35;
 posting-account=Qh2kiQoAAADpCLlhT_KTYoGO8dU3n4I6
NNTP-Posting-Host: 149.32.224.35
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> <m4cak8$d27$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e9c977ab-3ab6-4b3e-81b7-960b6b9ea609@googlegroups.com>
Subject: Re: Ada.Containers warnings with gnat
From: Anh Vo <anhvofrcaus@gmail.com>
Injection-Date: Mon, 17 Nov 2014 16:39:57 +0000
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Xref: number.nntp.giganews.com comp.lang.ada:190782
Date: 2014-11-17T08:39:57-08:00
List-Id: <comp.lang.ada>

On Monday, November 17, 2014 12:12:05 AM UTC-8, bj=F6rn lundin wrote:
> On 2014-11-16 18:32, Jeffrey Carter wrote:
> > On 11/16/2014 04:37 AM, Bj=F6rn Lundin wrote:
> >>
> >> It seems to be ok until I - in the body - do
> >>
> >> with Ada.Streams;
> >=20
> > Delete this one and see what happens. It shouldn't change anything sinc=
e
> >=20
> >> with Ada.Streams.Stream_IO;
> >=20
> > includes it.
> > =20
> Spot on. No warnings anymore.
> Thanks.
>=20
> But since the with-clause is in the body,
> one would think that the warnings would refer to the body, not the spec..=
.
>=20
> I actually with'ed Ada.Streams for symmetry reason,
>=20
> with Ada;
> with Ada.Streams;
> with Ada.Streams.Stream_IO;
>=20
> looks better (to me) than just
>=20
> with Ada.Streams.Stream_IO;
> =20
> It seems that I will need some cognitive training to change my preference=
s.
=20
Yes, you should since it means more with less :-)

Anh Vo.