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,f8544883f4f8ab29
X-Google-Attributes: gid103376,public
From: dewar@gnat.com
Subject: Re: Compiler implementation of speciallized needs annexes.
Date: 1999/02/25
Message-ID: <7b4kk3$p1j$1@nnrp1.dejanews.com>#1/1
X-Deja-AN: 448470181
References: <36D3A1EF.E7CA2A8C@physics.BLAH.purdue.BLAH.edu>
 <36D43E60.9231A20@averstar.com> <727154320wnr@diphi.demon.co.uk>
X-Http-Proxy: 1.0 x3.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: Thu Feb 25 22:59:21 1999 GMT
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I)
Date: 1999-02-25T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <727154320wnr@diphi.demon.co.uk>,
  jpt@diphi.demon.co.uk wrote:
> Ummm, is there a smiley missing off there? I'm sure that
> an early  meeting of the Annex H Rapporteur (sp?) Group
> (about three years ago?)  decided that it wasn't possible
> to define any sensible tests for the
> Annex H facilities.
>
> Phil Thornley.

No need to guess! Go look at the ACVC tests. Yes, of course
there are tests for annex H! It is certainly true, as it is
true for all parts of the language, that not all
requirements are tested, and indeed, it is also true that
Annex H has a rather high proportion of untestable stuff,
but that does not mean it is ALL untestable.

Indeed, the tests cannot be entirely trivial, since as
people have noticed that many Ada 95 compilers cannot pass
these tests, and do not claim annex H conformance as a
result!

Robert Dewar
Ada Core Technologies

-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/       Search, Read, Discuss, or Start Your Own