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.109.57.42.241.mobile.3.dk!not-for-mail
From: Jacob Sparre Andersen <jacob@jacob-sparre.dk>
Newsgroups: comp.lang.ada
Subject: Re: I am leaving Ada :-( because of GNAT bugs
Date: Wed, 13 Dec 2017 20:37:29 +0100
Organization: JSA Research & Innovation
Message-ID: <87wp1q8lmu.fsf@jacob-sparre.dk>
References: <p0ari4$djp$1@gioia.aioe.org>
	<db611f79-dc7e-4d9c-bd68-eefb1dbcc25a@googlegroups.com>
	<d7a30884-263b-4ed8-aae8-73bc57c055c5@googlegroups.com>
	<874lovhclv.fsf@nightsong.com>
	<955491231.534841176.275985.laguest-archeia.com@nntp.aioe.org>
	<p0rp1j$5vp$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: franka.jacob-sparre.dk;
 posting-host="109.57.42.241.mobile.3.dk:109.57.42.241";
	logging-data="31116"; mail-complaints-to="news@jacob-sparre.dk"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
Cancel-Lock: sha1:QfzZU1VjompX9zroDUxQ3kzIr+g=
Xref: reader02.eternal-september.org comp.lang.ada:49475
Date: 2017-12-13T20:37:29+01:00
List-Id: <comp.lang.ada>

Jeffrey R. Carter wrote:
> Luke A. Guest wrote:

>> I really wish you people would stop with the lie that there are many
>> compilers when there are many versions of the same compiler.
>
> * AdaCore
> * DDC-I
> * Greenhills S/W
> * Irvine
> * PTC
> * RR S/W
>
> I'm surprised to learn they all offer versions of the same compiler.

Given the convention I've learned, only AdaCore and FSF provide an "Ada
compiler" (and basically the same one).  The other companies provide
"Ada XXXX compilers".

Greetings,

Jacob
-- 
A: Yes.
>Q: Are you sure?
>>A: Because it reverses the logical flow of conversation.
>>>Q: Why is top posting frowned upon?