Re: Limited Type Access - Again

["Mark Lundquist" <up.yerz@nospam.com>]

Hi Anh,

<ANH_VO@udlp.com> wrote in message
news:mailman.1004389122.4372.comp.lang.ada@ada.eu.org...
> Thanks all for your response, specially Mark and Matt.
>
> Here comes the next question
>
> type Object is
>     record
>         Sem : Binary_Access;
>    end record;
>
> Obj_1 : Object;
> Obj_2 : Object;
>
> if Obj_1 /= Obj_2  then
>    Obj_1 := Obj;
> end if;
>
> This is equivalent to
>
> if Obj_1.Sem /= Obj_1.Sem then
>    Obj_1.Sem := Obj_2.Sem;
> end if;
>
> It looks to me that equality and assignment do not make sense at all.

Well, they've always made sense before... :-)

It sounds like you're thinking that while the two examples above are
equivalent, the first one is legal while the second is not.  But the second
example is perfectly legal -- Binary_Access (from the example in your
earlier post) is just an access type, which is non-limited, so there's
nothing wrong with the second example.

???

-- mark