comp.lang.ada
 help / color / mirror / Atom feed
From: Dmitry A.Kazakov <mailbox@dmitry-kazakov.de>
Subject: Re: Overriding discriminants perplexes GNAT 3.14p
Date: Mon, 23 Sep 2002 07:41:13 +0200
Date: 2002-09-23T07:41:13+02:00	[thread overview]
Message-ID: <amkutr$6rnc7$1@ID-77047.news.dfncis.de> (raw)
In-Reply-To: amkgom$5sm$1@a1-hrz.uni-duisburg.de

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



  reply	other threads:[~2002-09-23  5:41 UTC|newest]

Thread overview: 31+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-09-19  2:32 Overriding discriminants perplexes GNAT 3.14p Dmitry A.Kazakov
2002-09-18 16:45 ` Stephen Leake
2002-09-19 21:34   ` Dmitry A.Kazakov
2002-09-19 15:51     ` Stephen Leake
2002-09-20 22:06       ` Dmitry A.Kazakov
2002-09-20 12:29         ` Stephen Leake
2002-09-22  8:43           ` Dmitry A.Kazakov
2002-09-22 13:32             ` Georg Bauhaus
2002-09-23  5:41               ` Dmitry A.Kazakov [this message]
2002-09-23 12:41                 ` Georg Bauhaus
2002-09-24  1:38                   ` Dmitry A.Kazakov
2002-09-23 15:33             ` Stephen Leake
2002-09-24  8:35               ` Dmitry A. Kazakov
2002-09-19 18:22     ` Adam Beneschan
2002-09-20 22:06       ` Dmitry A.Kazakov
2002-09-20 16:00         ` Adam Beneschan
2002-09-22  8:43           ` Dmitry A.Kazakov
2002-09-23 21:18             ` Adam Beneschan
2002-09-24  9:40               ` Dmitry A. Kazakov
2002-09-21 13:01     ` Simon Wright
2002-09-18 16:46 ` Mark Johnson
2002-09-19 21:34   ` Dmitry A.Kazakov
2002-09-19 16:17     ` Stephen Leake
2002-09-19 20:02       ` tmoran
2002-09-20 21:10       ` Dmitry A.Kazakov
2002-09-21 12:56       ` Simon Wright
2002-09-18 16:49 ` Frank J. Lhota
2002-09-19 21:34   ` Dmitry A.Kazakov
2002-09-18 17:17 ` Per Sandbergs
2002-09-19  8:51 ` Thierry Lelegard
  -- strict thread matches above, loose matches on Subject: below --
2002-09-19  9:08 Grein, Christoph
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox