Re: Visibility of package parameters in child packages

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

Andrea Taverna schrieb:

> and the compiler replied
> 
> -----%<-----%<-----%<-----%<-----%<
> ]# gnatmake main.adb
> gcc -c main.adb
> main.adb:9:05: instantiation error at parent-child.adb:6
> main.adb:9:05: "F" is not visible (more references follow)
> main.adb:9:05: instantiation error at parent-child.adb:6
> main.adb:9:05: non-visible declaration at q.ads:3
> gnatmake: "main.adb" compilation error
> -----%<-----%<-----%<-----%<-----%<
> 
> Am I missing something?

It's not a "use" issue I think.  P.F is marked invisible,
too.  Can you try this:

generic
   with package P is new Q(<>);
   use P;
package Parent is

   function P_F(X : P.T) return P.T
     renames P.F;


and then call P_F in place of F.

I think it has (remotely?) to do with an issue hat Eric Hughes
had with Ada formal packages when trying C++ patterns;
IIRC, it was not reported to the producers of the compiler.
Also, there seems to have been some change in Ada 2005 LRM
12.7 from Ada 95 around the (<>) of a generic formal package,
but I don't know whether that is matters here.