Protected types private part visibility , helpfull hints needed.

["Christopher Gosset" <chrg@online.no>]

I am making a library consisting of several packages.
I wished to make all memory management and other "house-holding"
functions private by having them in private packages and to make all
details that is not a part of the "client-view" private.

So I have a package spec with a  protected type that look something like
this



	Generic 
	Type Item_Type (<>) is Private ;

	Package Protected_List is 

	Protected Type List is 
	
	Procedure  Add( Item : In Item_Type) ;
	Function Item(Index : In Positive) Return Item_Type ;

	Private 

		Internal_List_Structure : Internal_List ; ----------<
This is the problem line I would like the internal list structure to be
declared in a PRIVATE package and be visible to this private part
>-------

	End List ;


	Private 
	Type Item_Pointer is Access Item_Type ;


	End Protected_List ;


This does not work! This is because the Private part of the Protected
Type Declaration is a PART OF THE PUBLIC PART OF THE PACKAGE SPEC ! 

Is there a reason behind this design? Wouldn't it be more reasonable
that the private part of a Protected Type should be a part of the
PRIVATE part of the package spec and thus be able to use types and
procedures declared in private packages and private parts of the parent
? 

The private part of the protected type should never be visible to the
client anyway and the fact that all types and pakcages used in the
protected type private part must be Public destroys my absctraction! 

Am I correct in my assumptions or is there something I have missed? 

Helpfull hints will be appriciated! 


/CG