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!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: More reliable compilers (of some programming langauges) than GNAT
Date: Tue, 21 Nov 2017 19:40:33 -0600
Organization: JSA Research & Innovation
Message-ID: <ov2kii$j5t$1@franka.jacob-sparre.dk>
References: <ov1fg0$15sq$1@gioia.aioe.org>
 <2fca0f38-833e-485d-9a38-febcdd507bb1@googlegroups.com>
 <ov1he8$19jb$1@gioia.aioe.org>
 <ee3bd2ac-3c7c-46a8-959f-753e8db7cdd2@googlegroups.com>
 <ov2jma$itv$1@franka.jacob-sparre.dk>
Injection-Date: Wed, 22 Nov 2017 01:40:34 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="19645"; mail-complaints-to="news@jacob-sparre.dk"
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.7246
Xref: feeder.eternal-september.org comp.lang.ada:49048
Date: 2017-11-21T19:40:33-06:00
List-Id: <comp.lang.ada>

I said:
...
> Perhaps it isn't obvious to a non-native English speaker, but "quality 
> free compiler" reads as "a compiler free of any quality" (or "a compiler 
> without any quality"). As Christoph joked, it isn't the least bit hard to 
> find any such compiler (although I would argue that that doesn't apply to 
> any Ada compilers, you'd probably have to look at C or some other language 
> for such a compiler :-).

BTW, one reason for this is that there is a freely available independent 
test suite for Ada (the ACATS), so it is highly unlikely to see an Ada 
compiler that can't process some basic construct. So far as I'm aware, all 
Ada vendors use the ACATS as part of their standard QA, so basic bugs do not 
get into circulation. Most other languages do not have such a test suite, so 
both the commonality and the correctness of implementations is much more 
dependent on the vendor.

                                            Randy.