comp.lang.ada
 help / color / mirror / Atom feed
From: "Alex R. Mosteo" <alejandro@mosteo.com>
Subject: Re: Software Quality in Science
Date: Mon, 15 Feb 2010 11:49:32 +0100
Date: 2010-02-15T11:49:32+01:00	[thread overview]
Message-ID: <7tsn5sFm16U1@mid.individual.net> (raw)
In-Reply-To: wcciqa3gvwi.fsf@shell01.TheWorld.com

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



  parent reply	other threads:[~2010-02-15 10:49 UTC|newest]

Thread overview: 41+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-02-09 21:20 Software Quality in Science Jerry
2010-02-09 21:51 ` Jerry
2010-02-09 22:00   ` Hibou57 (Yannick Duchêne)
2010-02-10  4:13     ` Thomas Wicklund
2010-02-10  5:24       ` Hibou57 (Yannick Duchêne)
2010-02-09 23:43   ` Robert A Duff
2010-02-10  1:01     ` Georg Bauhaus
2010-02-10 14:34       ` Stephen Leake
2010-02-10 15:09         ` Martin
2010-02-10 16:37         ` Robert A Duff
2010-02-10 17:05           ` Martin
2010-02-10 13:13     ` Florian Weimer
2010-02-10 13:30       ` (see below)
2010-02-10 13:38       ` Martin
2010-02-15 11:20       ` Colin Paul Gloster
2010-02-15 14:52         ` Maciej Sobczak
2010-02-15 18:48           ` Colin Paul Gloster
2010-02-10 14:29     ` Stephen Leake
2010-02-10 14:38       ` Hyman Rosen
2010-02-10 16:24         ` Robert A Duff
2010-02-15 11:32       ` Colin Paul Gloster
2010-02-15 12:19         ` Georg Bauhaus
2010-02-10 13:55   ` Ludovic Brenta
2010-02-10 14:21     ` Hibou57 (Yannick Duchêne)
2010-02-10 22:52     ` Bob Spooner
2010-02-11  8:29       ` Rick
2010-02-11 22:39   ` Hibou57 (Yannick Duchêne)
2010-02-11 23:10     ` Brian Drummond
2010-02-11 23:21       ` Hibou57 (Yannick Duchêne)
2010-02-11 23:24         ` Hibou57 (Yannick Duchêne)
2010-02-12  0:06         ` Robert A Duff
2010-02-12  0:32           ` Hibou57 (Yannick Duchêne)
2010-02-12  7:37           ` Pascal Obry
2010-02-12 10:58           ` Stephen Leake
2010-02-12 15:02             ` Robert A Duff
2010-02-15 10:49           ` Alex R. Mosteo [this message]
2010-02-12  7:37         ` Pascal Obry
2010-02-15 12:18       ` Colin Paul Gloster
2010-02-15 11:08   ` Colin Paul Gloster
2010-02-15 14:43     ` Hibou57 (Yannick Duchêne)
2010-02-15 19:01       ` Colin Paul Gloster
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox