gcc-4.9/gcc/testsuite/gnat.dg/class_wide2.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

package Class_Wide2 is

   type Root_1 (V : Integer) is tagged record
      null;
   end record;

   type Child is new Root_1 (1) with null record;

   type Class_Acc is access all Child'Class;

   type Grand_Child is new Child with record
      null;
   end record;

   procedure Initialize;

end Class_Wide2;