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!gandalf.srv.welterde.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: Studying and Maintaining GNAT,
 Is There Any Interest in a New Group?
Date: Mon, 27 Aug 2018 16:18:42 -0500
Organization: JSA Research & Innovation
Message-ID: <pm1prl$39k$1@franka.jacob-sparre.dk>
References: <d0ae2366-32a2-42ff-8750-4802bbcfd251@googlegroups.com>
 <309225242.556906218.575482.laguest-archeia.com@nntp.aioe.org>
 <ec9cbd0c-51d4-4a55-a2b0-b6c6b96bb9fb@googlegroups.com>
 <ly4lfimepc.fsf@pushface.org>
 <b21b2991-a0b0-46ed-ba49-b5cbad1e9a98@googlegroups.com>
 <2145221813.556924687.162377.laguest-archeia.com@nntp.aioe.org>
 <3892c779-2924-405c-b88d-19389fc5ba3e@googlegroups.com>
Injection-Date: Mon, 27 Aug 2018 21:18:45 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="3380"; 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; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader02.eternal-september.org comp.lang.ada:54274
Date: 2018-08-27T16:18:42-05:00
List-Id: <comp.lang.ada>

"Dan'l Miller" <optikos@verizon.net> wrote in message 
news:3892c779-2924-405c-b88d-19389fc5ba3e@googlegroups.com...
...
>Although it might be quibbling over the definition of "front-end" and 
>"back-end", it is
>my belief that the vast majority of the bugs outside of the runtime is 
>either:
...

For what is't worth, based on my lengthy experience with Ada, bugs are most 
often errors of omission rather than errors of commission. That goes for 
every Ada compiler that's I've worked with (and we worked with most of them 
when Claw was being developed in the early days of Ada 95 support). Same 
seems to be the case when looking at new ACATS tests. Errors of omission are 
failures to implement a Legality Rule, or a runtime check, or to implement 
some needed special case within the compiler. Implementing actually the 
wrong thing is much less likely. The ACATS of course can help with missing 
rules and checks; it's not as useful for missing special cases (as those 
tend to be compiler-specific).

                                                    Randy.