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=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,2c7b0b777188b7c4 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local01.nntp.dca.giganews.com!nntp.comcast.com!news.comcast.com.POSTED!not-for-mail NNTP-Posting-Date: Sat, 29 Oct 2005 07:25:12 -0500 Date: Sat, 29 Oct 2005 08:25:24 -0400 From: Jeff Creem User-Agent: Mozilla Thunderbird 1.0.7 (Windows/20050716) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: GNAT GPL Edition Maintenance and Upgrades References: <1128499462.850353.146890@g44g2000cwa.googlegroups.com> <87ek6zom2h.fsf@ludovic-brenta.org> <87ek697ga5.fsf@willow.rfc1149.net> <435e99ee$0$23939$9b4e6d93@newsread2.arcor-online.net> <1130321538.366226.26460@z14g2000cwz.googlegroups.com> <4360b346$0$22526$9b4e6d93@newsread4.arcor-online.net> <1130476216.365009.9090@g47g2000cwa.googlegroups.com> <43620890$0$22541$9b4e6d93@newsread4.arcor-online.net> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Message-ID: NNTP-Posting-Host: 24.147.74.171 X-Trace: sv3-q3KrCe5BjlRdGPOkU7qcpEVn37aPESy4tLc4Tiyo4kh9X2Beu/n45JmTJB+UcNyIHKd/Y5hY0F78w1h!eUE4UDw2iPW7lm2fa9ZIkyLtfHd29LQbPfxATFtz2WU+7uNm6QFPxua/P/BWlFhbwqZrw15k3w== X-Complaints-To: abuse@comcast.net X-DMCA-Complaints-To: dmca@comcast.net X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.32 Xref: g2news1.google.com comp.lang.ada:6045 Date: 2005-10-29T08:25:24-04:00 List-Id: Maciej Sobczak wrote: > Georg Bauhaus wrote: > >> The C++ compiler also has a history of issues... not stopping >> a release. >> Why is it considered good enough in spite of the issues? >> I guess that's the meaning of "good enough"? > > > I guess that for any product there exists an arbitrary meaning of "good > enough" that can prevent it from being released, ever. > > The version of GNAT that I got with my Linux distribution allows me to > overflow the Integer type without any exceptions at run time (and I can > also define my own range and overflow it without error). I guess that > with some chosen meaning of "good enough" this compiler would not be > released. > > So just to be totally clear about what other are saying here... Every version of GNAT from every source has always acted this way. It also is non-standard in terms of the way it does elaboration checking (but better). It also is non-standard in terms of the way it does stack checking. This is not an issue unique to the FSF tree. These are design decisions made by Ada Core Technologies many many years ago.