summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/discr41.ads
blob: 4af8f63853d2bb6e3da66fdc16fac2f907b75ded (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
package Discr41 is

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

   type Date is record
      LF : Long_Float := 0.0;
   end record;

   type Date_Vector is array (Positive range <>) of Date;

   type Rec (D : Natural) is record
      B1 : Boolean := False;
      DL : Date_Vector (1 .. D);
      VL : Vector (1 .. D) := (others => 0.0);
      B2 : Boolean := True;
   end record;

   function F return Rec;

end Discr41;