blob: 21d208ff06c57ab27f373c32ceb57debae59de78 [file] [log] [blame]
-- { dg-do compile }
-- { dg-options "-gnatwu" }
with Ada.Numerics.Discrete_Random; use Ada.Numerics;
procedure Entry_Family is
protected Family is
entry Call (Boolean);
end Family;
protected body Family is
entry Call (for P in Boolean) when True is
begin
null;
end Call;
end Family;
package Random_Boolean is new Discrete_Random (Result_Subtype => Boolean);
use Random_Boolean;
Boolean_Generator : Generator;
B : constant Boolean := Random (Boolean_Generator);
begin
Family.Call (B);
end Entry_Family;