Hiding details and protected types

[Maciej Sobczak <no.spam@no.spam.com>]

Hi,

Let's say there is a protected type:

protected type PT is
   procedure P;
private
   A : T;
end PT;

where T is some type that is really an implementation detail of PT.

It is not possible to declare this type in the private part of the 
protected type (why?), so it has to be declared outside PT:

type T is ...;
protected type PT is
   procedure P;
private
   A : T;
end PT;

The problem is that declaring T in the same declaration scope pollutes 
the name space and is against Good Engineering Principles (tm).

How can I hide it?
Some juggling with packages comes to mind - any recommendations?

-- 
Maciej Sobczak : http://www.msobczak.com/
Programming    : http://www.msobczak.com/prog/