Re: Ambiguous reference - What is wrong with this?

[Simon Wright <simon@pushface.org>]

tmoran@acm.org writes:

> I think the problem occurs back at
> package Root.Child1 is
>     type Derive1 is new Base with private ;
> inherits
>     procedure Some_Proc (
>         Object         : in out Derive1;  -- was Base
>         Object2        : in out Base'Class) ;
> and then you declare another procedure, with a different second parameter,
>     procedure Some_Proc (
>         Object         : in out Derive1;
>         Object2        : in out Derive1'Class) ;
> now which is
>         Root.Child1.Some_Proc (
>             Object     => Root.Child1.Derive1 (Object),
>             Object2    => Object2) ;  -- in Derive1'Class and Base'Class
> supposed to be calling?

        Root.Child1.Some_Proc (
            Object     => Root.Child1.Derive1 (Object),
            Object2    => Root.Base'Class (Object2)) ;

compiles OK (GNAT 3.14a)