Re: body stub not allowed in inner scope

["G.B." <bauhaus@notmyhomepage.invalid>]

On 02.03.18 20:47, Simon Wright wrote:
> G. B. <nonlegitur@nmhp.invalid> writes:
> 
>> Randy Brukardt <randy@rrsoftware.com> wrote:
>>> why put them in a separate file in the first place?
>>
>> Yes, separate units can be placed after the bodies,
>> yet in the same file! Not always my choice but that, too
>> moves dependences out of the superunit.
>> Irrespective of what a compiler can make of this.
> 
> This seems a really crazy approach.
> 
> Given that Emacs, for example, is quite capable of displaying two
> view of different parts of the same buffer.

Emacs, or any other plain text editor, has no influence
on the semantics of Ada unit dependencies, as that's a matter
of structuring source text. I'd like an Ada compiler to
diagnose that a dependency can be moved to a subunit refactored
from some coherent part of a body, say. GNAT does this for
with-clauses that can be moved to the body.

-- -*- page-delimiter: "^\\(package\\|separate\\)" -*-

package body P is

     procedure P1;
     procedure P2;
     procedure P3;
     procedure P4;

     X : T;

     procedure P1 is null;
     procedure P2 is null;
     procedure P3 is null;
     procedure P4 is separate;

end P;


with Subsystem.Load;
separate (P)
procedure P4 is
     use Subsystem;
begin
     if Whatever (X) then
         X.Op_15;
         Load.Get_Going (X);
     end if;
end P4;