comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: More reliable compilers (of some programming langauges) than GNAT
Date: Tue, 21 Nov 2017 19:40:33 -0600
Date: 2017-11-21T19:40:33-06:00	[thread overview]
Message-ID: <ov2kii$j5t$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: ov2jma$itv$1@franka.jacob-sparre.dk

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 
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.



  reply	other threads:[~2017-11-22  1:40 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 [this message]
2017-11-22 13:12           ` Victor Porton
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