Re: Procedure defined in package body accessed by separate procedure

["G.B." <rm-dash-bau-haus@dash.futureapps.de>]

On 13.02.14 13:15, ashwath30jul77@gmail.com wrote:

> package body Greetings is
>
>     procedure Hello is separate;
>     procedure Goodbye is separate;
>     procedure proc_body is
>     begin
>        put_line("body");
>     end;
> end Greetings;
>
> Greetings-Hello.ada:
> ================================
> with text_io;
> use Text_IO;
> separate (Greetings)
>
> procedure Hello is
> begin
>     put_line("Hello");
>     Greetings.proc_body;--Compiler error here. Says proc_body is not declared in Greetings
> end;

Linearity of reading seems at work here: proc_body, in body
Greetings, appears after the line that says "Hello is
separate". Therefore, when that line is "evaluated", there
is no procedure proc_body (yet).
To resolve the issue, either put a specification of
procedure proc_body before "... Hello is separate", or put
the latter line after proc_body's definition.