compiler: give error for non-int arguments to make

[official-gcc.git] / gcc / testsuite / gnat.dg / opt56.ads

package Opt56 is

   type Vector is array (Positive range <>) of Float;

   function F (Values : Vector) return Boolean;

end Opt56;