aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/opt56.ads
blob: 31ee195325460c930281a8bf82309f5ec5b90bb4 (plain)
1
2
3
4
5
6
7
package Opt56 is

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

   function F (Values : Vector) return Boolean;

end Opt56;