From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: Re: Software Quality in Science
Date: Fri, 12 Feb 2010 05:58:09 -0500
Date: 2010-02-12T05:58:09-05:00 [thread overview]
Message-ID: <u8way67r2.fsf@stephe-leake.org> (raw)
In-Reply-To: wcciqa3gvwi.fsf@shell01.TheWorld.com
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
next prev parent reply other threads:[~2010-02-12 10:58 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 [this message]
2010-02-12 15:02 ` Robert A Duff
2010-02-15 10:49 ` Alex R. Mosteo
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