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.3 required=5.0 tests=BAYES_00,INVALID_MSGID, MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,66752102482bbdca X-Google-Attributes: gid103376,public From: Robert Dewar Subject: Re: Required Metrics Date: 2000/05/04 Message-ID: <8es5fv$4ov$1@nnrp1.deja.com>#1/1 X-Deja-AN: 619172336 References: <5DDO4.2237$wb7.194854@news.flash.net> <8ek4ea$5ta$1@nnrp1.deja.com> <390DC8AD.59B5EBEE@averstar.com> <8ep0k3$jlr$1@nnrp1.deja.com> X-Http-Proxy: 1.0 x33.deja.com:80 (Squid/1.1.22) for client 205.232.38.14 Organization: Deja.com - Before you buy. X-Article-Creation-Date: Thu May 04 15:37:38 2000 GMT X-MyDeja-Info: XMYDJUIDrobert_dewar Newsgroups: comp.lang.ada X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; I) Date: 2000-05-04T00:00:00+00:00 List-Id: In article , "Ken Garlington" wrote: > I get a queasy feeling when it seems that the Ada vendor > community may not be addressing requirements they don't like. I think that's the wrong take entirely. In the case of metrics (see Bob Duff's post), there is a broad feeling that these are completely bogus requirements for modern compilers. If they ever had any meaning it would only be for bare-board compilers for very specific architectures. It is not that the vendor "does not like" this particular requirement in our case, it is simply that a) it is meaningless, but we do meet the requirement anyway, perhaps not in the most useful way, but since it is pretty much useless, there is not much point in trying to do useless things in a useful manner! b) our customers have zero interest in us doing any more than we do now. As we often find, CLA readers and contributors seem to have rather different priorities from actual Ada users when we get to discussing various theoretical issues surrounding the RM :-) Robert Dewar Ada Core Technologies Sent via Deja.com http://www.deja.com/ Before you buy.