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

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

On Tuesday, 26 June 2012 12:53:35 UTC+1, Keean Schupke  wrote:
> On Tuesday, 26 June 2012 10:49:23 UTC+1, Georg Bauhaus  wrote:
> > On 26.06.12 09:51, Keean Schupke wrote:
> > 
> > > Here's the minimal test example (as minimal as I can make it so far...):
> > 
> > -gnatN makes this work.
> 
> 
> Ah, -gnatN does not fix my project, so I need to produce an updated example.
> 
> Cheers,
> Keean.

This example is simplified a bit more and still causes the problem with -gnatN.



procedure Test is
    generic
    package A is end;

    generic
    package B is
        procedure F;
        pragma Inline_Always(F);
    end B;

    package body B is
        procedure F
        is begin null;
        end F;
    end B;

    package C is
        package My_A is new A;
        package My_B is new B;
    end C;
begin
    null;
end Test;



The following compiles fine:



procedure Test is
    generic
    package A is end;

    generic
    package B is
        procedure F;
        pragma Inline_Always(F);
    end B;

    package body B is
        procedure F
        is begin null;
        end F;
    end B;

    package My_A is new A;
    package My_B is new B;
begin
    null;
end Test;


Cheers,
Keean.