blob: c1c436f3ec77803b22f0a857e8589283b5f0a7c1 (
plain)
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;
|