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" 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:25:48 -0500 Organization: JSA Research & Innovation Message-ID: References: Injection-Date: Wed, 30 May 2018 19:26:01 -0000 (UTC) Injection-Info: franka.jacob-sparre.dk; posting-host="rrsoftware.com:24.196.82.226"; logging-data="1579"; 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:52785 Date: 2018-05-30T14:25:48-05:00 List-Id: "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. Randy.