gcc-4.9/gcc/testsuite/gnat.dg/specs/double_record_extension1.ads


1
2
3
4
5
6
7
8
9
10
11
12
13

-- { dg-do compile } 

package double_record_extension1 is

   type T1(n: natural) is tagged record
      s1: string (1..n);
   end record;
   type T2(j,k: natural) is new T1(j) with record
      s2: string (1..k);
   end record;
   type T3 is new T2 (10, 10) with null record;

end double_record_extension1;