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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!eu.feeder.erje.net!news2.arglkargh.de!news.ecp.fr!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Oberon and Wirthian languages
Date: Tue, 22 Apr 2014 18:31:55 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <lj6u5d$7ar$1@loke.gir.dk>
References: <1ljwj8f.1wqbhvuabsdw1N%csampson@inetworld.net>
 <51c7d6d4-e3be-44d5-a4ce-f7e875345588@googlegroups.com>
 <li9g34$9q8$1@dont-email.me> <%J32v.70539$kp1.45343@fx14.iad>
 <lic17o$re4$1@dont-email.me> <8761m535e4.fsf_-_@ludovic-brenta.org>
 <lj3540$m81$1@dont-email.me> <lj3nao$u22$2@dont-email.me>
 <lj4de1$jql$1@dont-email.me> <lj4m1o$uao$1@dont-email.me>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: loke.gir.dk 1398209517 7515 69.95.181.76 (22 Apr 2014 23:31:57 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Tue, 22 Apr 2014 23:31:57 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Xref: news.eternal-september.org comp.lang.ada:19507
Date: 2014-04-22T18:31:55-05:00
List-Id: <comp.lang.ada>

"Jeffrey Carter" <spam.jrcarter.not@spam.not.acm.org> wrote in message 
news:lj4m1o$uao$1@dont-email.me...
> On 04/21/2014 05:34 PM, Simon Clubley wrote:
>>
>> Unfortunately, that only tells you how one compiler implemented it and
>> doesn't say anything about if such behaviour is mandatory in the 
>> standard.
>
> Unless there's a check for this in the ACATS, you'll want to make sure 
> your compiler complies as well as compiles.

The ACATS cannot require examination of code, so it's not possible to check 
for this. And the ACATS isn't allowed to check for whether or not 
Implementation Advice is followed (the ACATS is not about "goodness" of an 
implementation).

                          Randy.