blob: 80dd2f652ce34f57dc6d1119741aacbeb216b38c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
with Discr8_Pkg1; use Discr8_Pkg1;
package Discr8 is
type Tag_T is (Tag_One, Tag_Two);
type Local_T (Tag : Tag_T := Tag_One) is
record
case Tag is
when Tag_One =>
A : T;
B : Integer;
when Tag_Two =>
null;
end case;
end record;
procedure Make (C : out Local_T);
end Discr8;
|
