declaration of an incomplete private type before the private part

[Javi <fjvera@gmail.com>]

hi guys,

I'm very newbye to ADA, so my apologizes in advance.

My problem: I need to do a declaration such as:

-----------------------------------------
...
   type ListNode is private;
   type List is private;

   package IterList is new Iterators   (Creator => List,
                                        Item => ListNode,
                                        getFirst => Lists.getFirst,
                                        getNext => Lists.getNext,
                                        isLast => Lists.isLast);

   function makeIter (L : List) return IterList.Iterator;
...
   private:
      (complete declaration of ListNode and List)
-----------------------------------------


The problem is that I need to complete the type (ListNode and List)
before instancing the new package. But I do not know how to do that!
The only solution I have found is to declare the types non-private and
then give them the complete declaration. Obviously, this solution does
not satisfy me since I want to make the types private.

Can anyone help me, please?

Thanks in advance,
Javier