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-7-bit
Path: 
 g2news1.google.com!news3.google.com!news.glorb.com!newsfeed2.telusplanet.net!newsfeed.telus.net!nntp.abs.net!news.abs.net!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: Quick question about Ada code formatting.
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>
From: Stephen Leake <stephe_on_the_web@toadmail.com>
Message-ID: <ulkw2xmr0.fsf@toadmail.com>
User-Agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (windows-nt)
Cancel-Lock: sha1:Dgf+Y2IBXPHmbjYBWF8u/aubPtA=
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Thu, 23 Feb 2006 07:50:27 -0500
NNTP-Posting-Host: 66.159.65.1
X-Complaints-To: abuse@toad.net
X-Trace: news.abs.net 1140699035 66.159.65.1 (Thu, 23 Feb 2006 07:50:35 EST)
NNTP-Posting-Date: Thu, 23 Feb 2006 07:50:35 EST
Xref: g2news1.google.com comp.lang.ada:3096
Date: 2006-02-23T07:50:27-05:00
List-Id: <comp.lang.ada>

Georg Bauhaus <bauhaus@futureapps.de> writes:

> Stephen Leake wrote:
>
>> These are separate warnings; one is -gnatys, the other -gnatyt.
>
> The warnings aren't separate in the sense that GNAT
> characterizes both as "(style)", but one style is writing
> a spec or not, the other style refers to typography,
> i.e. content versus form.
>
>> I guess you would rather have -gnatzs, and -gnatyt? I don't see the
>> point.
>
> I'd rather have -gnatY and -gnaty where the first is for checking
> Ada language style, and the other for checking layout etc..

Well, that violates the GNAT option capitalization convention;
uppercase turns options off, lowercase turns them on.

> A possible thing for -gnatY to achieve could be something like
> the following (don't know if this easily added to GNAT, or in
> fact already present):
>
> blue.ads: 5: (Y-style) use clause for Ada.Text_IO is not needed
>
>
> 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. 

-- 
-- Stephe