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,8b756d9a0afb052a
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!news3.google.com!news.glorb.com!tiscali!newsfeed1.ip.tiscali.net!proxad.net!proxad.net!oleane.net!oleane!hunter.axlog.fr!nobody
From: Jean-Pierre Rosen <rosen@adalog.fr>
Newsgroups: comp.lang.ada
Subject: Re: Quick question about Ada code formatting.
Date: Thu, 23 Feb 2006 16:40:56 +0100
Organization: Adalog
Message-ID: <72lktd.kpj.ln@hunter.axlog.fr>
References: <Xns976E4AA3A7D3Cpchapinsovernet@198.186.192.137>
 <m2vevcpzlq.fsf@grendel.local>
 <43f74bc0$0$13593$9b4e6d93@newsread2.arcor-online.net>
 <m2mzgop4zp.fsf@grendel.local>
 <43f87015$0$13609$9b4e6d93@newsread2.arcor-online.net>
 <u64n7xcon.fsf@toadmail.com>
 <43fcf028$0$13611$9b4e6d93@newsread2.arcor-online.net>
 <ulkw2xmr0.fsf@toadmail.com>
NNTP-Posting-Host: mailhost.axlog.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: s1.news.oleane.net 1140710468 28305 195.25.228.57 (23 Feb 2006
 16:01:08 GMT)
X-Complaints-To: abuse@oleane.net
NNTP-Posting-Date: Thu, 23 Feb 2006 16:01:08 +0000 (UTC)
User-Agent: Thunderbird 1.5 (Windows/20051201)
In-Reply-To: <ulkw2xmr0.fsf@toadmail.com>
Xref: g2news1.google.com comp.lang.ada:3109
Date: 2006-02-23T16:40:56+01:00
List-Id: <comp.lang.ada>

Stephen Leake a �crit :
>> with Ada.Text_IO;
>>
>> package Blue is
>>
>>    use Ada.Text_IO;
>>
>>    subtype File_Type is Ada.Text_IO.File_Type;
>>
>> end Blue;
> 
> Reporting some unnecessary use clauses is in GNAT 5.04, but it doesn't
> report this case. I agree it would be nice. 
> 

This is not obvious. In AdaControl, we do not report it either, purposedly.

If you use "use" to document where a package is actually used, it is 
useful to keep it even if it happens that full notation is used.

Remember that reporting unnecessary use clauses is useful to those who 
want to use the use clause! For others... well, there is another rule in 
AdaControl to check all use clauses.
-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr