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!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: "J-P. Rosen" <rosen@adalog.fr>
Newsgroups: comp.lang.ada
Subject: Re: GNAT GPL is not shareware
Date: Tue, 13 Jan 2015 18:46:10 +0100
Organization: A noiseless patient Spider
Message-ID: <m93lk7$h23$1@dont-email.me>
References: <87bnmetex4.fsf@ludovic-brenta.org>
 <s7Jqw.1026393$Lj7.973937@fx22.iad>
 <alpine.DEB.2.11.1501061414310.19142@debian> <m8gtr1$rg1$1@dont-email.me>
 <m8h6gn$202$1@dont-email.me> <iWXqw.180018$Sn4.103298@fx10.iad>
 <m8hj8p$qn2$1@dont-email.me> <FIYqw.1051175$FX2.802392@fx18.iad>
 <m8j3k5$gr9$1@dont-email.me> <qcdrw.1246475$Y4.224981@fx24.iad>
 <m8kd1u$lkc$1@loke.gir.dk> <1otenmcbgnvlt$.dn9361nl2jm8$.dlg@40tude.net>
 <m8lnlg$eat$1@dont-email.me> <8ryfky4awox2$.q2gfw4pvsgau.dlg@40tude.net>
 <m8m3ge$sg3$1@dont-email.me> <v7sijsm038wt.rnnn8jo6j2nj$.dlg@40tude.net>
 <m8om3v$2ga$1@dont-email.me> <m8pj7k$524$1@loke.gir.dk>
 <eFZrw.1020853$No4.1016889@fx19.iad> <m91mi2$mll$1@loke.gir.dk>
 <m92mq3$kji$1@dont-email.me> <wccppain0gp.fsf@shell01.TheWorld.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 13 Jan 2015 17:45:43 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="23dab0694e4174fdc880833ec67fa650";
	logging-data="17475"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19eO3daEXSCTHmind/hvPcX"
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64;
 rv:31.0) Gecko/20100101 Thunderbird/31.3.0
In-Reply-To: <wccppain0gp.fsf@shell01.TheWorld.com>
Cancel-Lock: sha1:0DI0VzUvri1uZs36qgs0qEmc76A=
Xref: news.eternal-september.org comp.lang.ada:24565
Date: 2015-01-13T18:46:10+01:00
List-Id: <comp.lang.ada>

Le 13/01/2015 16:51, Robert A Duff a écrit :
> True.  But I'd prefer 'gnatpp', which doesn't "check" that, it just
> sticks in the missing name for you -- similar idea.  Anyway, gnatpp is
> primarily syntactic.  Not entirely -- it knows how to capitalize usage
> names to match the declaration, which requires semantic information.

Right. Checking presentation is as much effort (perhaps more) than
fixing it - which is the reason why I don't have many presentation rules
in AdaControl. OTOH, some users have rules like "the name after end is
not required if the subprogram is less than nn lines". You can't go into
such details with a pretty printer.

(I accept the argument that it's better to have the name everywhere than
start arguing, but that's what some of my clients are using - AdaControl
is not supposed to support my own favorite rules only, but anybody's rules).

-- 
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