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=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,6bee08c26af9486d
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!news2.google.com!news.glorb.com!peer1.news.newnet.co.uk!194.159.246.34.MISMATCH!peer-uk.news.demon.net!kibo.news.demon.net!news.demon.co.uk!demon!not-for-mail
From: Simon Wright <simon.j.wright@mac.com>
Newsgroups: comp.lang.ada
Subject: Re: Learning Ada but missing the basics?
Date: Fri, 04 Jul 2008 18:08:16 +0100
Organization: Pushface
Message-ID: <m2abgxvapr.fsf@mac.com>
References: 
 <85e95c57-07c3-42eb-b9b9-eac5fd3d0d65@i76g2000hsf.googlegroups.com>
 <319201bf-2ac0-4a36-a713-ca1db0326541@d45g2000hsc.googlegroups.com>
 <486B47F8.80704@obry.net> <6d1mm5Fd2k6U1@mid.individual.net>
NNTP-Posting-Host: pogner.demon.co.uk
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: news.demon.co.uk 1215191297 25656 62.49.19.209 (4 Jul 2008 17:08:17
 GMT)
X-Complaints-To: abuse@demon.net
NNTP-Posting-Date: Fri, 4 Jul 2008 17:08:17 +0000 (UTC)
Cancel-Lock: sha1:gNukZlZXKf/BbNaOtrMuyWhvago=
User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.2 (darwin)
Xref: g2news1.google.com comp.lang.ada:1006
Date: 2008-07-04T18:08:16+01:00
List-Id: <comp.lang.ada>

"Alex R. Mosteo" <devnull@mailinator.com> writes:

> In this regard, gnat style switches are truly useful. I find I've
> added quite a few over time to my defaults.

We use -gnaty (in other words, the defaults!). It seemed to me to be
easier to do this than to have perpetual wrangles about which ones are
in, which ones out.

There was a complaint that the default line length (79) is too short,
but this was from a person who believed in long names:

  Message_Processing.Process_The_Message (The_Message_To_Be_Processed : String);

(and that's not the worst instance!)

This was the person who thought the way to get rid of style warnings
was to turn them off.

--S