gcc/testsuite/gnat.dg/discr28.ads

   1 with Discr28_Pkg;
   2
   3 package Discr28 is
   4
   5    type Enum is (One, Two);
   6
   7    type Rec (D : Enum := One) is record
   8       case D is
   9          when One => null;
  10          when Two => S : String (1 .. Discr28_Pkg.N);
  11       end case;
  12    end record;
  13
  14    Default_Rec : constant Rec := (D => One);
  15
  16    procedure Proc1;
  17    procedure Proc2;
  18
  19 end Discr28;