blob: ebcfca7f8389502c9ce39ac7e6bd80ac1d9ed971 [file] [log] [blame]
-- { dg-do compile }
procedure Predicate9 is
function Num (x : Integer) return Integer is (X + 1);
function name (X : String) return Integer is (X'Size);
function Post (One : Integer; Two : Integer) return Boolean;
generic
type T is private;
procedure Pro (Z : Integer) with Post =>
Post (Num (5), Two => Name ("yeah"));
function Post (One : Integer; Two : Integer) return Boolean
is (True);
procedure Pro (Z : Integer) is
begin
null;
end Pro;
begin
null;
end Predicate9;