blob: 8bdcb84e933a291efa885a187df24d9f195cb321 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
-- { 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;
|
