Re: Calling inherited primitive operations in Ada

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

On 2022-09-01 13:59, Jeffrey R.Carter wrote:
> On 2022-09-01 09:57, amo...@unizar.es wrote:
>>
>> Is this about how according to some mystifying rules generic formals 
>> are[n't] visible from outside the generic?
> 
> This seems like a non-issue to me. Any code that has visibility to a 
> generic instance knows the actuals used for that instance.

That would make the code fragile. Should be avoided as much as possible 
as a form of aliasing. Compare:

    procedure A (X : Integer) is
       procedure B (Y : Integer) is
       begin
          X := 1; -- We know we are going to call it with X!
       end B;
    begin
       B (X);
    end A;

> Can anyone 
> provide real examples where this is a problem?

Defaulted formal package actual part:

    generic
       package Foo is new Bar (<>);
    package Baz is ...
       -- What were these actuals in Foo?

This is one of most useful features used to reduce lists of formal 
parameters and simplify instantiations.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de