gcc/testsuite/gnat.dg/incomplete7.ads

   1 package Incomplete7 is
   2    type Color;
   3    type Color is (red, green, blue);
   4
   5    type Action (C : Color := Color'(red));
   6    type Action (C : Color := Color'(red)) is record
   7       case C is
   8          when red =>
   9             Stop_Time : Positive;
  10
  11          when others =>
  12             Go_For_It : Integer;
  13       end case;
  14    end record;
  15
  16    type Num;
  17    type Num is new Integer;
  18
  19    type Rec (N : Num := Num'(1));
  20    type Rec (N : Num := Num'(1)) is record
  21       case N is
  22          when 1 =>
  23             One : Integer;
  24
  25          when others =>
  26             null;
  27       end case;
  28    end record;
  29
  30    procedure Foo;
  31 end Incomplete7;