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