summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/specs/root-level_1.ads
blob: 6bcb1251f2bc97f299f22119081c77ac1b92cfc8 (plain)
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;