Re: packages and private parts

[Mats Weber <Mats.Weber@elca-matrix.ch>]

> >Unfortunately, the price for this is an annoying restriction (RM
> >10.1.1(16)) against declaring an ordinary package as a child of a
> >generic-package instance.
> 
> Why do you consider that restriction "annoying"?  I can't remember ever
> wanting to violate it...

I consider it annoying because if I write a child P.C of some package P,
and the author of P later decides that his package should be generalized
and creates Generic_P, replacing the original P with

   package P is new Generic_P(...);

then my child package P.C becomes illegal. And that is bad because to
make it legal, I have to make it a generic child of Generic_P and thus
do the same generalization as was done for P, which I may not always be
able to do.