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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,7001494ace46eea7
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-09-23 06:30:35 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsmi-us.news.garr.it!newsmi-eu.news.garr.it!NewsITBone-GARR!fu-berlin.de!uni-berlin.de!b9973.pppool.DE!not-for-mail
From: Dmitry A.Kazakov <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Overriding discriminants perplexes GNAT 3.14p
Date: Tue, 24 Sep 2002 03:38:00 +0200
Message-ID: <amn51o$6ton0$1@ID-77047.news.dfncis.de>
References: <ama2bm$404hu$1@ID-77047.news.dfncis.de>
 <amkgom$5sm$1@a1-hrz.uni-duisburg.de>
 <amkutr$6rnc7$1@ID-77047.news.dfncis.de>
 <amn25l$kmd$1@a1-hrz.uni-duisburg.de>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: b9973.pppool.de (213.7.153.115)
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7Bit
X-Trace: fu-berlin.de 1032787833 7267040 213.7.153.115 (16 [77047])
User-Agent: KNode/0.4
Xref: archiver1.google.com comp.lang.ada:29276
Date: 2002-09-24T03:38:00+02:00
List-Id: <comp.lang.ada>

Georg Bauhaus wrote:

> Dmitry A.Kazakov <mailbox@dmitry-kazakov.de> wrote:
> : My point was simple, a wider use gives a better product. The
> : bugs I saw in GNAT would be detected earlier if more software were
> : written in Ada and compiled with GNAT, just a statistical observation.
> 
> Maybe. But only if a higher number of program writers uses a
> higher number of all kinds of language features in different
> program contexts.

A wider use assumes that. Bugs in the implementation of protected objects 
indicate that nobody ever used them so that these bugs would become 
evident. One might argue this probably proves that protected objects are 
useless, but I think it is rather because of a very narrow application area 
of GNAT.

> As a test for the statistical observation,
> are the popular compilers for other languages better by the
> factor of OtherLanguageProgramAuthors / Ada_Program_Authors?

Such comparison might be illegal for many reasons. Of course a wide use 
does not imply a higher quality, somebody should remove that bugs in the 
end, but it is a requirement of that. What if I'd say that ACT should have 
more money to make GNAT better? Then you could pin me down with an argument 
that MS has lot of money and yet ships awful products!

-- 
Regards,
Dmitry Kazakov
www.dmitry-kazakov.de