1-- { dg-do run } 2 3with Discr42_Pkg; use Discr42_Pkg; 4 5procedure Discr42 is 6 7 R : Rec; 8 Pos : Natural := 1; 9 10begin 11 12 R := F (Pos); 13 14 if Pos /= 2 then 15 raise Program_Error; 16 end if; 17 18 if R /= (D => True, N => 4) then 19 raise Program_Error; 20 end if; 21 22end; 23