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-22 10:33:50 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!fu-berlin.de!uni-berlin.de!b9ab0.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: Mon, 23 Sep 2002 07:41:13 +0200
Message-ID: <amkutr$6rnc7$1@ID-77047.news.dfncis.de>
References: <ama2bm$404hu$1@ID-77047.news.dfncis.de>
 <uk7lgq1ye.fsf@gsfc.nasa.gov> <amil7v$6897n$2@ID-77047.news.dfncis.de>
 <amkgom$5sm$1@a1-hrz.uni-duisburg.de>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: b9ab0.pppool.de (213.7.154.176)
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7Bit
X-Trace: fu-berlin.de 1032716028 7200135 213.7.154.176 (16 [77047])
User-Agent: KNode/0.4
Xref: archiver1.google.com comp.lang.ada:29259
Date: 2002-09-23T07:41:13+02:00
List-Id: <comp.lang.ada>

Georg Bauhaus wrote:

> Dmitry A.Kazakov <mailbox@dmitry-kazakov.de> wrote:
> : I suppose that when a bug has been corrected, it is out forever. (:-))
> : [...]
> : If they do it, then why there are still bugs in the compiler?
> 
> "The compiler" is maybe not a term that describes precisely what
> a compiler might be, namely a program that may change as its
> development incorporates new and better ideas, new features, different
> techniques, support for language changes etc..  So a bugfix may in
> priciple be removed when the part of the program that originally
> contained a bug is replaced. This process may introduce new and
> seemingly old bugs together with the new features.

Right, I placed a smile there. Any bugfix bears new bugs in it. The problem 
is of course in the relation between new and old bugs.

> Don't know if this is the case with GNAT, but would you say that
> compilers shouldn't change when an increase in knowledge suggest
> a change?

Of course not. 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.

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