Re: Visibility problems with package instantiations.....

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

On 27 Nov 2003 07:42:40 -0800, petter.fryklund@atero.se (Petter
Fryklund) wrote:

>We have the following:
>
>generic 
>   type A is mod (<>);
>   type B is mod (<>);
>package Gen_0 is
>   type C is 
>      record
>         AA : A;
>         BB : B;
>      end record;
>end Gen_0;
>
>with Gen_0;
>generic
>   with package Inst_0 is new Gen_0 (<>);
>package Gen_1 is
>   procedure X (P1 : Inst_0.C);
>end Gen_1;
>
>with Gen_0;

+ with Gen_1; -- I suppose

>generic
>   with package Inst_0 is new Gen_0 (<>);
>   with package Inst_1 is new Gen_1 (<>);
>package Gen_2 is
>   procedure X (P1 : Inst_0.C);
>end Gen_2;
>
>package body Gen_2 is
>   procedure X (P1 : Inst_0.C) is
>   begin
>      Inst_1 (P1); <---- visibility problems.

Inst_1.X (P1); -- Probably

Provided that my assuptions are correct then Inst_1.X cannot be called
with Inst_0.C, because Inst_1.Inst_0.C and Inst_0.C are different
types, at least for the compiler. So either

1. they are not and should not be, then:

generic
   with package Inst_0 is new Gen_0 (<>);
   with package Inst_1 is new Gen_1 (<>);
package Gen_2 is
   procedure X (P1 : Inst_1.Inst_0.C);
      -- The right type is  Inst_1.Inst_0.C
end Gen_2;

2. they should be same, then

generic
   with package Inst_0 is new Gen_0 (<>);
   with package Inst_1 is new Gen_1 (Inst_0);
      -- Inst_1 shall be instantiated with Inst_0
package Gen_2 is
   procedure X (P1 : Inst_0.C);
end Gen_2;

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