gcc/testsuite/gnat.dg/array38_pkg.ads

   1 package Array38_Pkg is
   2
   3    type Byte is mod 2**8;
   4
   5    type Length is new Natural;
   6    subtype Index is Length range 1 .. Length'Last;
   7
   8    type Bytes is array (Index range <>) of Byte with
   9      Predicate => Bytes'Length > 0;
  10
  11    generic
  12       type Index_Type   is (<>);
  13       type Element_Type is (<>);
  14       type Array_Type   is array (Index_Type range <>) of Element_Type;
  15       type Value_Type   is (<>);
  16    function F (Data : Array_Type) return Value_Type;
  17
  18 end Array38_Pkg;