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!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" 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 21:45:23 +0200 Organization: Aioe.org NNTP Server Message-ID: References: NNTP-Posting-Host: CvkHMVp693S8Z+lk11jyqg.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.8.0 Content-Language: en-US X-Notice: Filtered by postfilter v. 0.8.3 Xref: reader02.eternal-september.org comp.lang.ada:52787 Date: 2018-05-30T21:45:23+02:00 List-Id: On 2018-05-30 21:25, Randy Brukardt wrote: > "Dmitry A. Kazakov" wrote in message > news:pelmg4$v5t$1@gioia.aioe.org... >> On 2018-05-30 12:12 AM, Randy Brukardt wrote: >> >>> Changing inheritance would be wildly incompatible, so I don't think there >>> is any chance of that. >> >> We can just add another method of inheritance as it has been successfully >> done with tagged types. > > The part of inheritance that I was talking about (because it was relevant to > the OPs question) is exactly the same for tagged types and untagged types. > The differences are in class-wide operations and the possibility of dynamic > dispatching. 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. Nothing can be incompatible with independent types if you could also derive from one of them a related type. They simply never meet being unrelated to each other. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de