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,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!micro-heart-of-gold.mit.edu!newsswitch.lcs.mit.edu!nntp.TheWorld.com!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: Software Quality in Science
Date: Fri, 12 Feb 2010 10:02:56 -0500
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wccwryi1opr.fsf@shell01.TheWorld.com>
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> <u8way67r2.fsf@stephe-leake.org>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: pcls4.std.com 1265986966 13747 192.74.137.71 (12 Feb 2010 15:02:46
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Fri, 12 Feb 2010 15:02:46 +0000 (UTC)
User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix)
Cancel-Lock: sha1:FTKzkyGQ7HEwu+cIjy29vDqtkwk=
Xref: g2news1.google.com comp.lang.ada:9169
Date: 2010-02-12T10:02:56-05:00
List-Id: <comp.lang.ada>

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