From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=3.0 tests=BAYES_40,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.5-pre1
X-Received: by 2002:ae9:ef55:: with SMTP id d82mr21647929qkg.3.1622557153204; Tue, 01 Jun 2021 07:19:13 -0700 (PDT)
X-Received: by 2002:a25:fc1c:: with SMTP id v28mr38897060ybd.277.1622557152998; Tue, 01 Jun 2021 07:19:12 -0700 (PDT)
Path: eternal-september.org!reader02.eternal-september.org!feeder1.feed.usenet.farm!feed.usenet.farm!tr2.eu1.usenetexpress.com!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 1 Jun 2021 07:19:12 -0700 (PDT)
In-Reply-To: <13670133-8a67-49ad-88e1-1ffcc25ec81bn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=146.5.2.231; posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC
NNTP-Posting-Host: 146.5.2.231
References: <13670133-8a67-49ad-88e1-1ffcc25ec81bn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <9e7ddfda-9dce-453d-b781-53c7f9f17f20n@googlegroups.com>
Subject: Re: If GCC dropped Ada suport, how long would you use an old version for?
From: Shark8 <onewingedshark@gmail.com>
Injection-Date: Tue, 01 Jun 2021 14:19:13 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:62079
List-Id: <comp.lang.ada>

On Monday, May 31, 2021 at 10:10:33 AM UTC-6, spellingbeewinnars.org wrote:
> 
> However, let's just say the GCC project dropped support, aliens abducted all of the Adacore staff and you did not feel you would be able to patch GCC yourself, how long would you use an old GCC version that had Ada support? 
GCC is kind of overly-convoluted, and GNAT has to cater to this.
I think that if this happened right now, we (as a community) could use this as impetus to create a MIT-licensed SPARK-proved (inasmuch as possible) free compiler; thus we could be in a far better position, in the end.

Don't get me wrong, GNAT isn't fundamentally bad, nor is AdaCore -- despite disagreements on design or [in AdaCore's case] marketing -- but it's easy for newcomers to mistake Ada as belonging to AdaCore.