Re: Question on types conversions - operations

[Robert A Duff <bobduff@shell01.TheWorld.com>]

"Jeffrey R. Carter" <spam.jrcarter.not@nospam.acm.org> writes:

>...One small
> problem when doing this is that the operations that have been
> "eliminated" by being declared abstract are still considered for
> overload resolution.

This problem has been fixed in Ada 2005.  In Ada 95, you can get
ambiguities, because (as you say), the abstract ops are considered
for overload resolution (and then the call is illegal if that's
what it resolves to).  In Ada 2005, the overload res acts as
if the abstract ops are not even there (for nondispatching ops,
of course).

- Bob