[Ada95] Private non-generic children of generics not allowed

[Vincent Marciante <vincent.marciante@l3harris.com>]

[Repost with proper title]

I pretty much follow the rational requiring children of generics that are 
meant to be used by users of a generic also be generic. But what about 
the case that the child is only introduced for "separation of concerns" 
and "information hiding" in the body of a generic package: Why can't 
_private_ children of a generic _always_ for use only in the implementation of the parent unit be allowed? That seems to me to be only a little more flexible version of the allowed arrangement where the desired 
functionality is expressed in a body-local package that has _its_  implementation as separate stub. 

So, I mean I have a situation where I like to be able to do the following 
but can't. 

generic 
... 
package Generic_Package is 
procedure Parent_Procedure; 
... 
end; 
private 
package Generi 
_Package.Child is 
procedure GPC_Procedure; 
... 
end; 

package body Generic_Package is 
... 
procedure Parent_Procedure is separate; 
... 
end; 
with Generic_Package.C 
hild; 
separate (Generic_Package) 
procedure Parent_Procedure is 
begin 
... 
Generic_Package.Child.GPC_Procedure; 
... 
end;