Re: How can one record component be local and another not?

[hreba <f_hreba@yahoo.com.br>]

Ok, with all your hints I came to the following solution:

--
package Aux is
    type Integer_P is access all Integer;
    type Rec is limited record
       a: aliased Integer;
       p: Integer_P;
    end record;

    procedure Init (r: access Rec);
end Aux;
--
package body Aux is
    procedure Init (r: access Rec) is
    begin
       r.p:= r.a'Access;
    end Init;
end Aux;
--
with Aux;
procedure Test is
    r:	aliased Aux.Rec;
begin
    Aux.Init (r'Access);
end Test;
--

It compiles nicely, and then:

frank@pc-frank:~/Temp/Test0$ ./test
raised PROGRAM_ERROR : aux.adb:4 accessibility check failed

#@!!0ßx*~@!!!
-- 
Frank Hrebabetzky, Kronach	+49 / 9261 / 950 0565