Re: worth the hassle?

["chris.danx" <spamoff.danx@ntlworld.com>]

hmm, problem...


This is the top of the unbounded doubly linked list.

generic
   type Element_Type is limited private;
   type List_Id_Type is private;

   -- Assign A to B.
   --
   with procedure Assign (A : in     Element_Type;
                          B : in out Element_Type) is <>;

package Aqua.Lists.Linear.Unbounded.Doubly is
...
end Aqua.Lists.Linear.Unbounded.Doubly;


Let's say we have 2 types (a_type & b_type) derived from a single type,
base_type and we want to store objects of all three types in the *same
list*.  How do we code assign for this situation?  What happens if the
derved classes are not known before hand?  Is it even possible to put the
all the types in the same list?


Cheers,
Chris