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

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

On Tuesday, 26 June 2012 16:42:09 UTC+1, Keean Schupke  wrote:
> 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.


So the question is why does this compile without the "C" package? Can anyone explain to my why the compiler cannot inline when package "C" is there?


Cheers,
Keean.