Use of generic child formal package

[falis@east.alsys.com (Ed Falis)]

Hopefully, I'm not garbling the lingo too much.

I'd like to provide an instance of a generic child unit as a formal package
actual parameter to another generic.  To wit:

generic
   -- parent's formals
package parent is ... ; end parent;

generic
   -- child's formals
package parent.child is ...; end parent.child;


with parent;
generic
   -- client formals
package client is 

   package parent_instance is new parent(...);

end client;


-- Here's the hitch:
with parent.child;
generic

   -- ??:
   with parent_instance.child is new parent.child (...);
package client.child is ...;


Gnat 2.02 doesn't like the syntax for the formal package parameter: the selected
name notation is rejected. I've tried a few other ways of declaring the formal
package, without success.


So, is it legal, or is it GNAT?

What I'm trying to do is to use multiple child units for distinct generic
implementations of generic component, binding the implementation at the
time of instantiating client.child, which will present an interface to its
own clients.

- Ed


C
So, is it legal, or is it G
C
C
C
So, is it legal?  What I'm trying to do is