Re: Refactoring for error: cannot inline "X" (forward instance within enclosing body)

[Keean Schupke <keean.schupke@googlemail.com>]

On Monday, 25 June 2012 20:47:21 UTC+1, Brian Drummond  wrote:
> On Mon, 25 Jun 2012 06:02:21 -0700, Keean Schupke wrote:
> 
> > Hi,
> > 
> > 
> > I am forcing the inlining of some procedures using:
> > 
> > pragma Inline_Always(X);
> > 
> > and I am getting the error:
> > 
> > cannot inline "X" (forward instance within enclosing body)
> > 
> > Can someone explain what a forward instance is and what the enclosing
> > body (IE the scope of the error is).
> 
> Try posting a minimal compilable example that allows others to reproduce 
> the problem.
> 
> - Brian

Here's the minimal test example (as minimal as I can make it so far...):



procedure Test is
    generic
        type A is private;
        with function F(Node : in A) return A is <>;
    package Test_Signature is end;

    generic
    package Test_Implementation is
        type A is record null;
        end record;
        function F(X : in A) return A;
        pragma Inline_Always(F);
    end Test_Implementation;

    package body Test_Implementation is
        function F(
            X : in A
        ) return A is begin
            return X;
        end F;
    end Test_Implementation;

    package Test_Use is
        package T is new Test_Implementation;

        use T;
        package U is new Test_Signature(A => T.A);
    end Test_Use;

begin
    null;
end Test;



Cheers,
Keean.