From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-65-14.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!reader01.eternal-september.org!aioe.org!wkzB5gFOhLHjvUsb32RKWQ.user.46.165.242.91.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Calling inherited primitive operations in Ada Date: Thu, 1 Sep 2022 12:02:43 +0200 Organization: Aioe.org NNTP Server Message-ID: References: <67b32db0-c4db-466c-ac13-e597e008c762n@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Info: gioia.aioe.org; logging-data="25592"; posting-host="wkzB5gFOhLHjvUsb32RKWQ.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org"; User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Thunderbird/91.13.0 Content-Language: en-US X-Notice: Filtered by postfilter v. 0.9.2 Xref: reader01.eternal-september.org comp.lang.ada:64252 List-Id: On 2022-09-01 09:57, amo...@unizar.es wrote: > On Thursday, September 1, 2022 at 8:56:28 AM UTC+2, briot.e...@gmail.com wrote: >>> generic >>> type Foo is ...; >>> package >>> subtype Actual_Foo is Foo; >> To me, this is an orthogonal issue though (which would be worth its own blog post in fact). I can never remember (or perhaps not even understand) the reason for this limitation in Ada, which is a major pain when dealing with generics indeed... >> I like the "Actual_" prefix, which I assume is some sort of convention in your code. > > Is this about how according to some mystifying rules generic formals are[n't] visible from outside the generic? Right. I do not remember the rules, just the fact that they are quite logical. Unfortunately the logic of is not very helpful. (:-)) As for primitive operations the problems are on many levels, from lacking introspection to missing inheritance of implementation by composition (AKA hooking). -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de