19 lines
314 B
Ada
19 lines
314 B
Ada
-- { dg-do run }
|
|
|
|
procedure Boolean_Expr2 is
|
|
|
|
function Ident_Bool (B : Boolean) return Boolean is
|
|
begin
|
|
return B;
|
|
end;
|
|
|
|
begin
|
|
if Boolean'Succ (Ident_Bool(False)) /= True then
|
|
raise Program_Error;
|
|
end if;
|
|
|
|
if Boolean'Pred (Ident_Bool(True)) /= False then
|
|
raise Program_Error;
|
|
end if;
|
|
end;
|