Re: Calling inherited primitive operations in Ada

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

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