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!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.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: Thu, 31 May 2018 17:45:23 -0500
Organization: JSA Research & Innovation
Message-ID: <peptug$sd0$1@franka.jacob-sparre.dk>
References: <ecd599f8-bb04-4304-9242-1c88edee4a4e@googlegroups.com>
 <pekj85$tn0$1@franka.jacob-sparre.dk>
 <c6b68b0d-e9f0-47a8-9692-7cba63ea1000@googlegroups.com>
 <peod7s$1h5f$1@gioia.aioe.org>
 <affe16ad-c2ed-4603-97cd-6a5ddb94a44c@googlegroups.com>
 <pepbrv$1b3u$1@gioia.aioe.org>
 <534965d3-e494-476b-8a91-6cf9f376c020@googlegroups.com>
Injection-Date: Thu, 31 May 2018 22:45:36 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="29088"; 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; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader02.eternal-september.org comp.lang.ada:52826
Date: 2018-05-31T17:45:23-05:00
List-Id: <comp.lang.ada>

"Dan'l Miller" <optikos@verizon.net> wrote in message 
news:534965d3-e494-476b-8a91-6cf9f376c020@googlegroups.com...
...
>Btw, I realize that Ada's _LRM_ utilizes 1,000 times the term "inherit" 
>colloquially
>in the sense of OP's and Dmitry's usage.

Nothing "colloquially" about it: any term not defined in the RM is used in 
its English language sense, and specifically from a definition based on a 
particular dictionary (see 1.3). (Well, there's an exception for 
mathematical terms, but "inherit" surely isn't one of those.

In any case, I'm only interested in the terminology of the RM when it comes 
to discussing Ada. Dmitry has taught me well that there is no point is 
spending a moment arguing with someone that uses words in some other way - 
it's virtually impossible even understand what they're actually talking 
about. So I'm not going to waste any more time in this subthread.

                                       Randy.