gcc/testsuite/gnat.dg/array7.ads

   1 package Array7 is
   2
   3    package Range_Subtype is
   4       type Arr is array (Positive range <>) of Integer;
   5       type Arr_Acc is access Arr;
   6
   7       subtype My_Range is Integer range 1 .. 25;
   8       function Get_Arr (Nbr : My_Range) return Arr_Acc;
   9    end;
  10
  11    package Range_Type is
  12
  13       type My_Range is range 1 .. 25;
  14       type Arr is array (My_Range range <>) of Integer;
  15       type Arr_Acc is access Arr;
  16
  17       function Get_Arr (Nbr : My_Range) return Arr_Acc;
  18    end;
  19
  20 end Array7;