Re: recursive types and generics

[Ludovic Brenta <ludovic.brenta@insalien.org>]

How about this:


procedure Test is

   generic
      type Element is private;
   package Sequence is
      type Kind_Of_Element is (Nothing, Leaf, Seq);
      type Sequence_Element (Kind : Kind_Of_Element) is private;
      type Sequence is access Sequence_Element;
   private
      type Sequence_Element (Kind : Kind_Of_Element) is record
         Next_Element : Sequence;
         case Kind is
            when Nothing => null;
            when Leaf => Payload : Element;
            when Seq => Sub_Sequence : Sequence;
         end case;
      end record;
   end Sequence;

   package My_Sequence is new Sequence (Element => Integer);
   type Seq_Access is new My_Sequence.Sequence;

begin
   null;
end Test;