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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,56131a5c3acc678e
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-12-08 20:38:26 PST
Path: 
 archiver1.google.com!news2.google.com!newsfeed2.dallas1.level3.net!news.level3.com!news-out.visi.com!petbe.visi.com!news-out1.nntp.be!propagator2-sterling!news-in.nuthinbutnews.com!cyclone1.gnilink.net!spamkiller2.gnilink.net!nwrdny01.gnilink.net.POSTED!0e8a908a!not-for-mail
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US;
 rv:1.6b) Gecko/20031205 Thunderbird/0.4
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Question about OO programming in Ada
References: <lZsAb.266$iy6.136@nwrdny03.gnilink.net>
 <5JmdnUF_9o_ABE-iRTvUrg@rapidnet.com>
 <l0BAb.601$kz2.183@nwrdny01.gnilink.net>
 <Xns944A5737BA540jimmaureenrogers@204.127.36.1>
 <1273941.m4G3ZzughP@linux1.krischik.com>
 <Xns944A8863655C1jimmaureenrogers@204.127.36.1>
 <QkSAb.1580$kz2.304@nwrdny01.gnilink.net>
 <kMydnQG-7v3Cn0miRTvUrg@rapidnet.com>
 <UPWAb.2300$kz2.1329@nwrdny01.gnilink.net>
 <bef8tvo3p8cfuonp8vvvh1ramr49di9t14@4ax.com>
 <1070889942.156714@master.nyc.kbcfp.com>
 <l019tvocr60pcqsl5rsri3j4vabdt647fn@4ax.com>
In-Reply-To: <l019tvocr60pcqsl5rsri3j4vabdt647fn@4ax.com>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <5lcBb.4138$UM4.2773@nwrdny01.gnilink.net>
Date: Tue, 09 Dec 2003 04:38:25 GMT
NNTP-Posting-Host: 162.83.232.160
X-Complaints-To: abuse@verizon.net
X-Trace: nwrdny01.gnilink.net 1070944705 162.83.232.160 (Mon,
 08 Dec 2003 23:38:25 EST)
NNTP-Posting-Date: Mon, 08 Dec 2003 23:38:25 EST
Xref: archiver1.google.com comp.lang.ada:3253
Date: 2003-12-09T04:38:25+00:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov wrote:
> No dispatch is possible on specific types. This fact is
> language independent.

No dispatch is necessary, but it is certainly possible.
Tagged objects have a dispatch table, and it can be used
even in those cases where the compiler knows the dynamic
type.

> The fact is, the same method sometimes appears dispatching and sometimes not.

No, that is not the fact. The method is always dispatching, it is simply
that the dispatch table used is different at different times.

> See above

I don't think I see what you see. One of us is seeing things.