Re: access assignation. Aliasing problems?

["Jeffrey R. Carter" <spam.jrcarter.not@acm.nospam.org>]

Javi wrote:
>          L.Last := new ListNode'(Item => It, next => null);
>          L.First := L.Last; -- this fails, L.First and L.Last are both
> the same type access ListNode

I suspect you're saying that type List has components such as

type List is record
    First : access Listnode;
    Last  : access Listnode;
    ...
end record;

The solution is simple: Don't use anonymous types. Use a named type instead:

type Node_Ptr is access Listnode; -- Using '_' is The Ada Way.

type List is record
    First : Node_Ptr;
    Last  : Node_Ptr;
    ...
end record;

Anonymous types are a horrible thing and should be avoided whenever possible.

-- 
Jeff Carter
"Sir Robin the-not-quite-so-brave-as-Sir-Lancelot,
who had nearly fought the Dragon of Angnor,
who nearly stood up to the vicious Chicken of Bristol,
and who had personally wet himself at the
Battle of Badon Hill."
Monty Python & the Holy Grail
68