From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Software Quality in Science
Date: Fri, 12 Feb 2010 10:02:56 -0500
Date: 2010-02-12T10:02:56-05:00 [thread overview]
Message-ID: <wccwryi1opr.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: u8way67r2.fsf@stephe-leake.org
Stephen Leake <stephen_leake@stephe-leake.org> writes:
> 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)
Thanks for the bug reports. We should really fix those!
In fact, we should probably be compiling the runtimes
with -gnatyO.
- Bob
next prev parent reply other threads:[~2010-02-12 15:02 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 [this message]
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