summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/discr8_pkg2.ads
blob: f98318a5aca23a3f250bede9db12d6c91df3d6c3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
with Discr8_Pkg3; use Discr8_Pkg3;

package Discr8_Pkg2 is

  Max : constant Natural := Value;

  type List_T is array (Natural range <>) of Integer;
  
  type L is record
    List : List_T (1 .. Max);
  end record;
  
end Discr8_Pkg2;