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