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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Non_Primitive Operations and Object.Operation Resolution
Date: Fri, 22 Apr 2016 11:24:20 -0700
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <nfdq28$7kc$1@dont-email.me>
References: <nf94tt$9iv$1@dont-email.me> <nfbd4t$4n4$1@loke.gir.dk>
 <nfbfj0$1m2$1@dont-email.me>
 <c5de61ce-ed58-4818-86e5-6d519db355a8@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 22 Apr 2016 18:20:58 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="48b46be33beed75863f69afa437f956b";
	logging-data="7820"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+4zT67qIltQPj0PWsgHXCFztS4+30Ral8="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101
 Thunderbird/45.0
In-Reply-To: <c5de61ce-ed58-4818-86e5-6d519db355a8@googlegroups.com>
Cancel-Lock: sha1:upPMmyIpC+PE5g87TIEJZtt1CuU=
Xref: news.eternal-september.org comp.lang.ada:30245
Date: 2016-04-22T11:24:20-07:00
List-Id: <comp.lang.ada>

On 04/21/2016 11:27 PM, AdaMagica wrote:
> Am Donnerstag, 21. April 2016 23:13:19 UTC+2 schrieb Jeffrey R. Carter:
>> That would probably be a good idea. Subtypes are not types and I'd think should
>> not be considered an ancestor of the type. Considering a subtype as an ancestor
>> seems like it would be a disaster.
>
> Only, subtypes have names, the type of a subtype is anonymous. What you see in a type declaration is the first subtype.
>
> Don't know whether this is related to your problen - just to corret the nomenclature.

Yes. However, the definition of "ancestor" uses the term "type", not "subtype".

-- 
Jeff Carter
"Go and boil your bottoms."
Monty Python & the Holy Grail
01