Re: Issue with GNAT GPL 2009 and GtkAda

[Damien Carbonne <damien.carbonne@free.fr>]

I think I now understand the issue.
Thanks to all of you for your patience and explanations.

I also think that all this explains the issues I had had in the past 
(also with GtkAda) when mixing [in] [out] parameters and access.
I always needed to use Unchecked_Access which I did not find 
satisfactory. This seems to be the only solution when mixing standard 
parameters modes and access.
This time, the Object.Func notation made things less obvious. Next time 
I will be more careful !

Regards,

Damien

Randy Brukardt a �crit :
> "Damien Carbonne" <damien.carbonne@free.fr> wrote in message 
> news:4a46121a$0$414$426a74cc@news.free.fr...
> ...
>> This behaves as expected (by me).
>> So a tagged type is really and always aliased, whatever its mode (in, out, 
>> in out) is. At least, this is what understand from those examples.
> 
> That's not right, unfortunately. Tagged *parameters* are always considered 
> aliased, but other kinds of tagged objects are not (necessarily) considered 
> aliased. The designated object of an access value is considered aliased, 
> though.
> 
> Bob explained this in more detail.
> 
>                                        Randy.
> 
>