From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,d2a3144038a5a80e
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news1.google.com!news.glorb.com!news-out.readnews.com!transit3.readnews.com!panix!newsfeed-00.mathworks.com!nntp.TheWorld.com!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: Question on types conversions - operations
Date: Sun, 14 Jun 2009 11:55:40 -0400
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wccbpoqx11f.fsf@shell01.TheWorld.com>
References: <4a33cb0b$0$2848$ba620e4c@news.skynet.be>
 <qvTYl.740974$yE1.636062@attbi_s21>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: pcls6.std.com 1244994940 30975 192.74.137.71 (14 Jun 2009 15:55:40
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Sun, 14 Jun 2009 15:55:40 +0000 (UTC)
User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix)
Cancel-Lock: sha1:WE2SaqghyUyLoVCXaVzP8G+AdkM=
Xref: g2news2.google.com comp.lang.ada:6472
Date: 2009-06-14T11:55:40-04:00
List-Id: <comp.lang.ada>

"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