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