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 autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,f4f6a5b783e1150c X-Google-Attributes: gid103376,public From: robert_dewar@my-dejanews.com Subject: Re: MI for Ada Date: 1999/02/16 Message-ID: <7acbdd$316$1@nnrp1.dejanews.com>#1/1 X-Deja-AN: 444989308 References: <36C365F8.50E84F94@averstar.com> <7a2j8q$meo@bgtnsc01.worldnet.att.net> <7a7aav$mse$2@plug.news.pipex.net> X-Http-Proxy: 1.0 x15.dejanews.com:80 (Squid/1.1.22) for client 205.232.38.14 Organization: Deja News - The Leader in Internet Discussion X-Article-Creation-Date: Tue Feb 16 17:54:58 1999 GMT Newsgroups: comp.lang.ada X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I) Date: 1999-02-16T00:00:00+00:00 List-Id: In article , eachus@spectre.mitre.org (Robert I. Eachus) wrote: > And as you are aware in Ada 83 the rule was "no > unauthorized extensions." In Ada 95, there must be a > standard conforming mode. This is highly misleading. There has been no change here between Ada 83 and Ada 95. It was always understood and never questioned that Ada compilers could have flags that caused them to operate in some non-standard mode, and this was true from the start for Ada 83. For example, nearly all compilers had a flag for suppressing runtime checks. The ARG discussed this a few times, and always unanimously agreed that even the most outrageous switches were perfectly fine as long as there was a standard conforming mode, and the ACVC procedures have always required that the VSR document the switches used to achieve this mode. So Robert Eachus' implication that there has been some shift in the Ada 95 design here is, as they would say in the British parliament, a "terminological inexactitude". -----------== Posted via Deja News, The Discussion Network ==---------- http://www.dejanews.com/ Search, Read, Discuss, or Start Your Own