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: a07f3367d7,20280f498071efd3
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news1.google.com!news1.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post02.iad.highwinds-media.com!news.flashnewsgroups.com-b7.4zTQh5tI3A!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: Software Quality in Science
References: 
 <1198a288-b013-45a8-907f-7fe227e6294e@m27g2000prl.googlegroups.com>
 <04185bf3-f83a-4fbe-b380-c6d8aa4105e6@w27g2000pre.googlegroups.com>
 <06c522b2-512d-482d-882f-d6a690d1c587@d27g2000yqn.googlegroups.com>
 <9b39n5t0866p4o7vff03480nvljsuhk024@4ax.com>
 <faac0c2f-6b0d-4913-9408-2732336e19dd@h12g2000yql.googlegroups.com>
 <wcciqa3gvwi.fsf@shell01.TheWorld.com>
From: Stephen Leake <stephen_leake@stephe-leake.org>
Date: Fri, 12 Feb 2010 05:58:09 -0500
Message-ID: <u8way67r2.fsf@stephe-leake.org>
User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.2 (windows-nt)
Cancel-Lock: sha1:DZ7i141ka0dpk5vpcY13AwJaNYQ=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
X-Complaints-To: abuse@flashnewsgroups.com
Organization: FlashNewsgroups.com
X-Trace: cbf214b75345be197caa728607
Xref: g2news1.google.com comp.lang.ada:9164
Date: 2010-02-12T05:58:09-05:00
List-Id: <comp.lang.ada>

Robert A Duff <bobduff@shell01.TheWorld.com> writes:

> "Hibou57 (Yannick Duchêne)" <yannick_duchene@yahoo.fr> writes:
>
>> But Ada provides a nice way to avoid it : systematically make use of
>> "overriding" / "not overriding". The dark side is that this is
>> optional and not required by the language rules.
>
> There's an option in GNAT to warn about this.
> I don't remember if it's turned on by default.
> (I think not.)

It's -gnatyO, and it's off by default. And turning it on exposes
missing 'overriding' keywords in the standard library. So it's not
quite ready for real time yet. (yes, I've filed bug reports)

-- 
-- Stephe