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!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: about inheritance of subtypes and entities (such as constants)
 related to a type in the same package
Date: Wed, 30 May 2018 14:59:03 -0500
Organization: JSA Research & Innovation
Message-ID: <pemvqj$27l$1@franka.jacob-sparre.dk>
References: <ecd599f8-bb04-4304-9242-1c88edee4a4e@googlegroups.com>
 <pekj85$tn0$1@franka.jacob-sparre.dk> <pelmg4$v5t$1@gioia.aioe.org>
 <pemts8$1hb$1@franka.jacob-sparre.dk> <pemv0i$1clu$1@gioia.aioe.org>
Injection-Date: Wed, 30 May 2018 19:59:15 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="2293"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader02.eternal-september.org comp.lang.ada:52792
Date: 2018-05-30T14:59:03-05:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:pemv0i$1clu$1@gioia.aioe.org...
...
> I don't see any commonality. One method produces an independent type 
> another does a related types. If you mean specifically inheritance of 
> operations and the representation, that plays no role because of the 
> difference in the types.

The OP was asking specifically why subtypes and objects aren't inherited, so 
it surely plays a role in answering him. The difference in the definition of 
the types is irrelevant in how inheritance of other things is defined. One 
can argue that was wrong, but it is a fact.

                                                   Randy.