Re: Visibility of package parameters in child packages

[Adam Beneschan <adam@irvine.com>]

On Dec 15, 11:28 am, Andrea Taverna <a.t...@hotmail.it> wrote:
> Hello everyone,
>
> I have the following packages:
>
> generic
>         with package P is new Q (<>);
>         use P;
> package Parent is
> ...
> end Parent;
>
> generic
> Parent.Child is
> ...
> end Parent.Child;
>
> I can see P declarations inside Parent, but in Child I need to prefix
> everything with 'P.', even if I add a use-clause.
> This happens with gnat-4.3.0 .
> Is it normal?

It's a bug.  The scope of the "use P" is supposed to include
Parent.Child (8.1(9), 8.4(7)).

                            -- Adam