gcc-4.9/gcc/testsuite/gnat.dg/specs/root-level_1.ads


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

package Root.Level_1 is

   type Level_1_Type (First  : Natural;
                      Second : Natural) is new Root_Type with private;

private

   type Level_1_Type (First  : Natural;
                      Second : Natural) is new Root_Type (First => First)
   with record
      Buffer_1 : Buffer_Type (1 .. Second);
   end record;

end Root.Level_1;