gcc/testsuite/gnat.dg/vect10.ads

   1 with Vect9_Pkg; use Vect9_Pkg;
   2
   3 package Vect10 is
   4
   5    type Rec is record
   6       Val : Unit;
   7    end record;
   8
   9    type Rec_Vector is array (Positive range <>) of Rec;
  10
  11    procedure Proc
  12      (F            : in Rec_Vector;
  13       First_Index : in Natural;
  14       Last_Index  : in Natural;
  15       Result      : out Unit);
  16
  17 end Vect10;