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!news2.google.com!news.glorb.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: "Alex R. Mosteo" <alejandro@mosteo.com>
Newsgroups: comp.lang.ada
Subject: Re: Software Quality in Science
Followup-To: comp.lang.ada
Date: Mon, 15 Feb 2010 11:49:32 +0100
Message-ID: <7tsn5sFm16U1@mid.individual.net>
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>
Mime-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 8Bit
X-Trace: individual.net ZCA6qDixpKpP7wbxAlykFwR7voJYdytBastLGLtkrjmpSBETc=
Cancel-Lock: sha1:tFYMDofKwPE8vd39GISYltklloA=
User-Agent: KNode/4.4 rc2
Xref: g2news1.google.com comp.lang.ada:9219
Date: 2010-02-15T11:49:32+01:00
List-Id: <comp.lang.ada>

Robert A Duff wrote:

> "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.)

I requested this feature at AdaEurope'08 IIRC. Nice to know it's there :)