gcc/testsuite/gnat.dg/return2.ads

   1 package Return2 is
   2
   3   type Kind_T is (One, Two);
   4
   5   type T is array (Kind_T) of Boolean;
   6
   7   type Result_Internal_T (Member : Boolean := False) is record
   8     case Member is
   9       when True =>
  10         Data : Kind_T := Kind_T'First;
  11       when False =>
  12         null;
  13     end case;
  14   end record;
  15
  16   function Value (Img : String) return T;
  17
  18 end Return2;