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=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.13.235.215 with SMTP id u206mr1633955ywe.19.1461306459399;
        Thu, 21 Apr 2016 23:27:39 -0700 (PDT)
X-Received: by 10.182.74.8 with SMTP id p8mr145933obv.6.1461306459216; Thu, 21
 Apr 2016 23:27:39 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!7no5243340qgj.0!news-out.google.com!u9ni393igk.0!nntp.google.com!sq19no80129igc.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 21 Apr 2016 23:27:38 -0700 (PDT)
In-Reply-To: <nfbfj0$1m2$1@dont-email.me>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=91.55.216.185;
 posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
NNTP-Posting-Host: 91.55.216.185
References: <nf94tt$9iv$1@dont-email.me> <nfbd4t$4n4$1@loke.gir.dk>
 <nfbfj0$1m2$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c5de61ce-ed58-4818-86e5-6d519db355a8@googlegroups.com>
Subject: Re: Non_Primitive Operations and Object.Operation Resolution
From: AdaMagica <christ-usch.grein@t-online.de>
Injection-Date: Fri, 22 Apr 2016 06:27:39 +0000
Content-Type: text/plain; charset=ISO-8859-1
Xref: news.eternal-september.org comp.lang.ada:30234
Date: 2016-04-21T23:27:38-07:00
List-Id: <comp.lang.ada>

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.