1with Inline8_Pkg2;
2
3package body Inline8_Pkg1 is
4
5  procedure Test (I : Integer) is
6
7    function F is new Inline8_Pkg2.Calc (I);
8    pragma Inline (F);
9
10  begin
11    if I /= F (I) then
12      raise Program_Error;
13    end if;
14  end;
15
16end Inline8_Pkg1;
17