Recursive tagged types

[adam@irvine.com (Adam Beneschan)]

GNAT outputs TRUE when I run this program.  Is this correct according
to the Ada rules?

                                -- thanks, Adam


with Ada.Tags;
with Text_IO;

procedure Test1 is

    Tag1 : Ada.Tags.Tag;
    Tag2 : Ada.Tags.Tag;

    procedure Recursive_Procedure (N : in Integer) is

        type Type1 is tagged null record;

        type Type2 is new Type1 with record
            Some_Data : Integer;
        end record;

    begin
        if N = 1 then
            Tag1 := Type2'Tag;
            Recursive_Procedure (2);
        else
            Tag2 := Type2'Tag;
        end if;
    end Recursive_Procedure;

begin
    Recursive_Procedure (1);
    Text_IO.Put_Line (Boolean'image (Ada.Tags."=" (Tag1, Tag2)));
end Test1;

-------------------==== Posted via Deja News ====-----------------------
      http://www.dejanews.com/     Search, Read, Post to Usenet