Re: access assignation. Aliasing problems?

[Javi <fjvera@gmail.com>]

On Feb 2, 11:37 am, Stephen Leake <stephen_le...@stephe-leake.org>
wrote:
> "Jeffrey R. Carter" <spam.jrcarter....@acm.nospam.org> writes:
>
> > 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;
>
> In particular, these are _not_ the "same type". In C, they would be,
> because there "same type" means "same contents". In Ada, "same type"
> means "same name". The types here have _no_ name; they are
> anonymous. So they are not the same.
>
> --
> -- Stephe


Many thanks guys, as I said, I'm quiet new to Ada. I'm used to C
pointers :-)

Thanks a lot !