From: Victor Porton <porton@narod.ru>
Subject: Re: More reliable compilers (of some programming langauges) than GNAT
Date: Wed, 22 Nov 2017 15:12:05 +0200
Date: 2017-11-22T15:12:05+02:00 [thread overview]
Message-ID: <ov3t3c$uvn$1@gioia.aioe.org> (raw)
In-Reply-To: ov2kii$j5t$1@franka.jacob-sparre.dk
Randy Brukardt wrote:
> I said:
> ...
>> Perhaps it isn't obvious to a non-native English speaker, but "quality
>> free compiler" reads as "a compiler free of any quality" (or "a compiler
>> without any quality"). As Christoph joked, it isn't the least bit hard to
>> find any such compiler (although I would argue that that doesn't apply to
>> any Ada compilers, you'd probably have to look at C or some other
>> language for such a compiler :-).
>
> BTW, one reason for this is that there is a freely available independent
> test suite for Ada (the ACATS), so it is highly unlikely to see an Ada
> compiler that can't process some basic construct. So far as I'm aware, all
See
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83027#c17
for such a bug (recently found by me, about shared libraries).
> Ada vendors use the ACATS as part of their standard QA, so basic bugs do
> not get into circulation. Most other languages do not have such a test
> suite, so both the commonality and the correctness of implementations is
> much more dependent on the vendor.
>
> Randy.
--
Victor Porton - http://portonvictor.org
next prev parent reply other threads:[~2017-11-22 13:12 UTC|newest]
Thread overview: 24+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-11-21 15:07 More reliable compilers (of some programming langauges) than GNAT Victor Porton
2017-11-21 15:27 ` AdaMagica
2017-11-21 15:40 ` Victor Porton
2017-11-21 16:07 ` AdaMagica
2017-11-22 1:25 ` Randy Brukardt
2017-11-22 1:40 ` Randy Brukardt
2017-11-22 13:12 ` Victor Porton [this message]
2017-11-22 14:15 ` Simon Wright
2017-11-23 0:35 ` Randy Brukardt
2017-11-23 8:22 ` Dmitry A. Kazakov
2017-11-23 16:14 ` Pascal Obry
2017-11-23 17:00 ` Dmitry A. Kazakov
2017-11-28 1:09 ` Randy Brukardt
2017-11-28 9:24 ` Dmitry A. Kazakov
2017-11-22 1:19 ` Randy Brukardt
2017-11-22 2:23 ` Paul Rubin
2017-11-22 18:29 ` J-P. Rosen
2017-11-23 2:15 ` Robert Eachus
2017-11-23 3:40 ` Paul Rubin
2017-11-23 8:27 ` Dmitry A. Kazakov
2017-11-21 16:13 ` AdaMagica
2017-11-21 16:17 ` Victor Porton
2017-11-21 17:26 ` Dmitry A. Kazakov
2017-11-23 15:14 ` Robin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox