1package 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;
31end Incomplete7;
32