gcc/testsuite/gnat.dg/aggr11_pkg.ads

   1 package Aggr11_Pkg is\r
   2 \r
   3    type Error_Type is (No_Error, Error);\r
   4 \r
   5    type Rec (Kind : Error_Type := No_Error) is record\r
   6      case Kind is\r
   7        when Error => null;\r
   8        when others => B : Boolean;\r
   9      end case;\r
  10    end record;\r
  11 \r
  12    type Arr is array (1..6) of Rec;\r
  13 \r
  14 end Aggr11_Pkg;\r