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,a88e582de42cdc9b
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!postnews.google.com!34g2000hsz.googlegroups.com!not-for-mail
From: billjones6789@yahoo.com
Newsgroups: comp.lang.ada
Subject: Re: Bug in Ada (SuSe 10.2) ?
Date: Thu, 21 Feb 2008 00:08:15 -0800 (PST)
Organization: http://groups.google.com
Message-ID: <83d51b4b-ed19-41ef-a6ac-66a112a3dcb9@34g2000hsz.googlegroups.com>
References: 
 <48277611-402f-4622-be05-6edddf6dd56a@o10g2000hsf.googlegroups.com>
	<U6GdnQdR3_lkViHanZ2dnUVZ_ramnZ2d@comcast.com>
NNTP-Posting-Host: 75.51.80.135
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1203581296 24633 127.0.0.1 (21 Feb 2008 08:08:16
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Thu, 21 Feb 2008 08:08:16 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: 34g2000hsz.googlegroups.com; posting-host=75.51.80.135;
	posting-account=EwprVAoAAADupkeB7R-LUjsi4Ab2CUvf
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; SV1;
 .NET
	CLR 1.0.3705; .NET CLR 1.1.4322; Media Center PC 4.0),gzip(gfe),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:19940
Date: 2008-02-21T00:08:15-08:00
List-Id: <comp.lang.ada>

On Feb 20, 4:55=A0pm, tmo...@acm.org wrote:
> =A0 =A0Technically it's an Ada compiler if and only if it passes the
> validation tests, and the default Gnat therefore isn't an Ada compiler,
> and shouldn't be advertised as one. =A0If it its bugs were sufficiently
> obscure they are not detected by the validation tests, then it would be an=

> Ada compiler.

This was true prior to 30 November 1987, when the US DoD held a
registered trademark on the name Ada, and allowed use of the
trademark
only with validated compilers.  But the Ada trademark was allowed to
lapse, so there has not been any such restriction for over 20 years.

There is no mention in the Ada RM of "passing the validation tests".
Instead, it says (RM 95 1.1.5 paragraph 11) "An implementation may
provide nonstandard modes of operation. ... In any case, an
implementation
shall support a standard mode that conforms to the requirements of
this
International Standard; in particular, in the standard mode, all legal
compilation_units shall be accepted."

There is no mention in the Ada RM of "default compiler switches",
just "standard mode" and optionally "nonstandard modes".  So as long
as -gnato is considered part of "standard mode", there not any
technical problem calling it an Ada compiler (assuming of course that
"all legal compilation_units are accepted").