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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,9b7d3a51d0d8b6ee
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!postnews.google.com!a12g2000yqm.googlegroups.com!not-for-mail
From: christoph.grein@eurocopter.com
Newsgroups: comp.lang.ada
Subject: Re: Extending discriminant types
Date: Mon, 24 Nov 2008 00:24:41 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <b2949c20-03ee-42af-a0eb-64f9833b5bc6@a12g2000yqm.googlegroups.com>
References: <20081115101632.5f98c596@cube.tz.axivion.com>
 <oiRUk.141685$Mh5.126924@bgtnsc04-news.ops.worldnet.att.net>
	<4d75603c-2f61-46c9-8c62-df4b6f49b2f7@13g2000yql.googlegroups.com>
	<SEGVk.37387$_Y1.29974@bgtnsc05-news.ops.worldnet.att.net>
NNTP-Posting-Host: 80.156.44.178
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1227515082 31601 127.0.0.1 (24 Nov 2008 08:24:42
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 24 Nov 2008 08:24:42 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: a12g2000yqm.googlegroups.com; posting-host=80.156.44.178;
	posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; SV1;
 .NET
	CLR 1.1.4322; .NET CLR 2.0.50727; InfoPath.1;
 .NET CLR 3.0.04506.30),gzip(gfe),gzip(gfe)
X-HTTP-Via: 1.1 webwasher (Webwasher 6.8.2.3963)
Xref: g2news1.google.com comp.lang.ada:2768
Date: 2008-11-24T00:24:41-08:00
List-Id: <comp.lang.ada>

On 21 Nov., 23:31, a...@anon.org (anon) wrote:
> But there is no place it say that it can not exist either! It up to the
> programmer! Plus "Base" is not a reserved word so it can be use in other
> places.

???? I gave the refrences in RM where deviations are allowed. This is
not one of them.

> >Implementations may define other attributes, but they are not allowed
> >to use attribute names defined in the standard.
>
> =A0 Disprove by example RM 13.13 (84)
>
> =A0 =A0 function My_Read(Stream : access Ada.Streams.Root_Stream_Type'Cla=
ss)
> =A0 =A0 =A0 return T;
> =A0 =A0 for T'Read use My_Read; -- see 13.13.2
>
> Where the standard "Read" attribute is reassigned. In GNAT you are limite=
d
> to the standard attributes only and that attribute structural definition =
but you
> can reassign them to user's code.

anon just makes himself sound awfully stupid. This is not a
redefinition of the 'Read attribute proper, but its proper use.

> Also, If you are correct it would of been listed in "RM Annex J" since it
> is valid under the Ada 83 specs.

No, Annex J just lists the obsolescent features, not the ones removed.
(This has already been stated before - and with the appropriate (AA)RM
references, but anon just refuses to understand).

> Georg Bauhaus
> Actually on the 20th you stated this:
> quote:
>   GNAT has -gnat83 as well, but rejects, too, because there are
>   neither tagged nor abstract types in Ada 83.
> unquote:
>
> So, which post is correct, Georg? Or is it you,  who is speading
> "false allegations"!

Of course it's you, anon, because -gnat83 must of course refuse the
use of tagged types.