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


1
2
3
4
5
6
7
8
9
10
11

package Private2_Pkg is

   type Rec2 (D : Natural) is private;

private

   type Rec1 (D : Natural) is null record;

   type Rec2 (D : Natural) is new Rec1 (D);

end Private2_Pkg;