gcc/testsuite/gnat.dg/opt1.ads

   1 package Opt1 is
   2
   3    type Dimention_Length is array (1 .. 16) of Natural;
   4
   5    type Dimension_Indexes is array (Positive range <>) of Positive;
   6
   7    function De_Linear_Index
   8      (Index       : Natural;
   9       D           : Natural;
  10       Ind_Lengths : Dimention_Length)
  11       return Dimension_Indexes;
  12
  13 end Opt1;