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

[Niklas Holsti <niklas.holsti@tidorum.invalid>]

On 2020-05-06 22:31, hreba wrote:
> On 5/5/20 9:08 PM, Niklas Holsti wrote:
>>
>> I don't understand -- System.Address is not an access type; why do you 
>> need to use an access type to produce this parameter? Do you need a 
>> pointer to the "params" component?
>>
>> Perhaps you can show a bit more of the actual code that has the problem?
>>
> 
> Ok, I'll try to make it comprehensible without throwing a lot of code at 
> you.

Thanks, and apologies for a late response (and this isn't a full 
response yet).

    [snip]

>        sol.all_pp:= sol.all_pars'Unchecked_Access;

    [snip]

> The above version compiles. At first I didn't have the Solver component 
> all_pp, but passed app_pars'Address to the call of 
> gsl_odeiv2_driver_alloc_y_new at the end of Init_Solve. It too compiled.
> 
> But whatever I try, I don't get rid of the runtime error
> 
> raised CONSTRAINT_ERROR : odeiv2.ads:92:4 access check failed

Do you mean that the exception occurs even with Unchecked_Access (as in 
the code you displayed) instead of plain Access?

> It accuses the line
> 
>     type Parameters is record

If the exception still happens with Unchecked_Access, can you get a full 
trace-back to show where the accessibility check is invoked?

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .