Re: Ambiguous reference - What is wrong with this?

["Marin David Condic" <dont.bother.mcondic.auntie.spam@[acm.org>]

I just tried this with Gnat 3.13p and it seemed to work The question in my
mind is will it do the thing I want it to do? I convert Object2 back to the
base type & presumably everything is fine if the lower level Some_Proc wants
to dynamically allocate something that matches. But have I prevented
something from entering that isn't of the more specific Derive1 type? If
converting back to the Base type finds a matching procedure, couldn't
something that is not of Derive1 type enter the Some_Proc?

In other words, if I'm using this to restrict some child type list from
having data values put into it that don't match some more complex derived
child class, am I not just circumventing that check?

MDC
--
Marin David Condic
Senior Software Engineer
Pace Micro Technology Americas    www.pacemicro.com
Enabling the digital revolution
e-Mail:    marin.condic@pacemicro.com
Web:      http://www.mcondic.com/


"Simon Wright" <simon@pushface.org> wrote in message
news:x7v1ymdyhi0.fsf@smaug.pushface.org...
> tmoran@acm.org writes:
>
>         Root.Child1.Some_Proc (
>             Object     => Root.Child1.Derive1 (Object),
>             Object2    => Root.Base'Class (Object2)) ;
>
> compiles OK (GNAT 3.14a)