gcc/testsuite/gnat.dg/discr41.ads

   1 package Discr41 is
   2
   3    type Vector is array (Positive range <>) of Long_Float;
   4
   5    type Date is record
   6       LF : Long_Float := 0.0;
   7    end record;
   8
   9    type Date_Vector is array (Positive range <>) of Date;
  10
  11    type Rec (D : Natural) is record
  12       B1 : Boolean := False;
  13       DL : Date_Vector (1 .. D);
  14       VL : Vector (1 .. D) := (others => 0.0);
  15       B2 : Boolean := True;
  16    end record;
  17
  18    function F return Rec;
  19
  20 end Discr41;