gcc/testsuite/gnat.dg/discr8.ads

   1 with Discr8_Pkg1; use Discr8_Pkg1;
   2
   3 package Discr8 is
   4
   5   type Tag_T is (Tag_One, Tag_Two);
   6
   7   type Local_T (Tag : Tag_T := Tag_One) is
   8     record
   9       case Tag is
  10         when Tag_One =>
  11           A : T;
  12           B : Integer;
  13         when Tag_Two =>
  14           null;
  15       end case;
  16     end record;
  17
  18   procedure Make (C : out Local_T);
  19
  20 end Discr8;