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.1 required=5.0 tests=BAYES_00, PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,bcdbb0729ae8fbff X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!u-picardie.fr!news.ecp.fr!news.jacob-sparre.dk!pnx.dk!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Strange story with Ada validation Date: Tue, 9 Feb 2010 20:44:33 -0600 Organization: Jacob Sparre Andersen Message-ID: References: <4683c5b7-29ef-4cac-a69b-e7d14a69f40d@j31g2000yqa.googlegroups.com> NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net X-Trace: munin.nbi.dk 1265769874 15911 69.95.181.76 (10 Feb 2010 02:44:34 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Wed, 10 Feb 2010 02:44:34 +0000 (UTC) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5843 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5579 Xref: g2news1.google.com comp.lang.ada:9064 Date: 2010-02-09T20:44:33-06:00 List-Id: "Hibou57 (Yannick Duch�ne)" wrote in message news:f7a8df87-84c4-474d-86e9-322714169b2a@u9g2000yqb.googlegroups.com... >On 9 f�v, 01:54, "Randy Brukardt" wrote: ... >> But note that no one is formally doing these any >> more; the major value of the process is the existence of the test suite >> and >> the fact that compilers follow it. >Yes, I was indeed wondering about it. There was this article, and the >words about required ACATS updates coming with some Ada 2005 Issues. >This was looking strange to me : an article stating there was no >validation next to Ada 95, and the ACATS seeming in very good health >and applying to Ada 2005. Probably that is best summed up as "you can't believe everything you read on the Internet"! I suspect that you can find someone claiming that the earth is flat if you look long enough. :-) There was at one point a page somewhere on the net that claimed "Ada is Dead!". That was something like 10 years ago now, so I think it was somewhat premature. :-) Randy.