gcc/testsuite/gnat.dg/aggr16_pkg.ads

   1 package Aggr16_Pkg is
   2
   3   type Time_Type is (A, B);
   4
   5   type Time (D : Time_Type := A) is private;
   6
   7   Null_Time : constant Time;
   8
   9 private
  10
  11   type Hour is record
  12     I1 : Integer;
  13     I2 : Integer;
  14   end record;
  15
  16   type Time (D : Time_Type := A) is record
  17     case D is
  18       when A =>
  19         A_Time : Integer;
  20       when B =>
  21         B_Time : Hour;
  22     end case;
  23   end record;
  24
  25   Null_Time : constant Time := (A, 0);
  26
  27 end Aggr16_Pkg;