gcc/testsuite/gnat.dg/specs/double_record_extension2.ads

   1 -- { dg-do compile }
   2
   3 package double_record_extension2 is
   4
   5   type Base_Message_Type (Num_Bytes : Positive) is tagged record
   6      Data_Block : String (1..Num_Bytes);
   7   end record;
   8
   9   type Extended_Message_Type (Num_Bytes1 : Positive; Num_Bytes2 : Positive) is new Base_Message_Type (Num_Bytes1) with record
  10      A: String (1..Num_Bytes2);
  11   end record;
  12
  13   type Final_Message_Type is new Extended_Message_Type with record
  14      B : Integer;
  15   end record;
  16
  17 end double_record_extension2;