Re: Visibility of package parameters in child packages

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

Andrea Taverna schrieb:
> On 16 Dic, 14:14, Georg Bauhaus <rm.dash-bauh...@futureapps.de> wrote:
>> 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.
> I'm not sure I understand you correctly here, however P.F *is*
> visible, in fact the compiler stops complaining after prefixig P's
> name to F.

My mistake, sorry. (I had forgotton to prefix the other F.)

Is the question then whether or not "use" of a generic
formal package extends to the formal parameters of the
generic formal package (a formal package with a (<>))?

My best guess would be to start from Ada 95 12.7(10),
if that still applies, but I simply don't know, and I
don't have my other compiler handy which might give a more
detailed error message.