gcc/testsuite/gnat.dg/array25_pkg.ads

   1 generic
   2
   3    UB1 : Natural;
   4
   5    UB2 : Natural;
   6
   7 package Array25_Pkg is
   8
   9    type Arr1 is array (1 .. UB1) of Integer;
  10
  11    type Rec is record
  12       Data : Arr1;
  13    end record;
  14
  15    type Arr2  is array (1 .. UB2) of Rec;
  16
  17    procedure Get (A : out Arr2);
  18
  19 end Array25_Pkg;