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