gcc/testsuite/gnat.dg/array39_pkg.ads

   1 package Array39_Pkg is
   2
   3   subtype Index1 is Natural range 0 .. 2;
   4
   5   type Arr1 is array (Index1 range <>) of Integer;
   6
   7   type Rec1 (D : Index1 := 0) is record
   8     A : Arr1 (1 .. D);
   9   end record;
  10
  11   subtype Index2 is Natural range 0 .. 7;
  12
  13   type Arr2 is array (Index2 range <>) of Rec1;
  14
  15   type Rec2 (D : Index2 := 0) is record
  16     A : Arr2 (1 .. D);
  17   end record;
  18
  19   Val : Rec1 := (D => 1, A => (others => 1));
  20
  21   task type Tsk is
  22     entry E (R : out Rec2; L : Index2);
  23   end Tsk;
  24
  25 end Array39_Pkg;