From: "Norman H. Cohen" <ncohen@watson.ibm.com>
Subject: Re: Resolution of Dispatching Operations
Date: 1997/02/25
Date: 1997-02-25T00:00:00+00:00 [thread overview]
Message-ID: <33134407.3D4C@watson.ibm.com> (raw)
In-Reply-To: mheaney-ya023680002302970035510001@news.ni.net
Matthew Heaney wrote:
> I have a type with 2 operations that differ only with respect to whether
> the arguments are class-wide or specific:
>
> procedure Op (L : in T; R : in out T'Class);
>
> procedure Op (L : in T'Class; R : in out T);
>
> If I'm in a context where I have 2 class-wide objects and I call Op, which
> version of Op gets called?
...
> On my compiler, the first version gets called, but I have no idea why that
> one would be favored over the other.
>
> My expectation is that at some point, either at compile-time or at
> run-time, I would get an error that says the compiler couldn't figure out
> which operation I meant. What am I missing?
It looks like a compile-time overloading ambiguity to me. I think what
you're missing is a correct compiler. :-)
--
Norman H. Cohen
mailto:ncohen@watson.ibm.com
http://www.research.ibm.com/people/n/ncohen
next prev parent reply other threads:[~1997-02-25 0:00 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-02-23 0:00 Resolution of Dispatching Operations Matthew Heaney
1997-02-24 0:00 ` Robert A Duff
1997-02-25 0:00 ` Norman H. Cohen [this message]
1997-02-26 0:00 ` Tucker Taft
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox