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,LOTS_OF_MONEY
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,99f33f51845a7793
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-11-06 07:25:42 PST
Path: 
 archiver1.google.com!news2.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!news-was.dfn.de!news-lei1.dfn.de!news-fra1.dfn.de!newsfeed.hanau.net!newsfeed01.sul.t-online.de!t-online.de!lnewspeer00.lnd.ops.eu.uu.net!lnewsifeed02.lnd.ops.eu.uu.net!lnewsifeed03.lnd.ops.eu.uu.net!lnewspost00.lnd.ops.eu.uu.net!emea.uu.net!not-for-mail
From: "David Crocker" <dcrocker@imsltd.com>
Newsgroups: comp.lang.ada
References: <3be660c1$0$237$ed9e5944@reading.news.pipex.net>
 <fxAF7.23429$wj5.13409982@news1.rdc1.sfba.home.com>
Subject: Re: 'withing' problem
Date: Tue, 6 Nov 2001 15:29:35 -0000
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.00.2919.6600
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6600
Message-ID: <3be800d3$0$230$ed9e5944@reading.news.pipex.net>
NNTP-Posting-Host: andrew.imsltd.com
X-Trace: 1005060307 reading.news.pipex.net 230 194.202.27.87
X-Complaints-To: abuse@uk.uu.net
Xref: archiver1.google.com comp.lang.ada:15914
Date: 2001-11-06T15:29:35+00:00
List-Id: <comp.lang.ada>

Using the Ada-like notation of your example, 'toString' dispatches on the
type of parameter x. In fact, the call is written 'expr.toString' as in
other OO languages, so (unlike the case in Ada) it is obvious what the call
dispatches on.

Regards

David Crocker, Escher Technologies Ltd. www.eschertech.com


<tmoran@acm.org> wrote in message
news:fxAF7.23429$wj5.13409982@news1.rdc1.sfba.home.com...
> >We define a base class 'anything' from which all other classes derive
(like
> >Java's 'Object'). This base class has an abstract method 'toString' (just
> >like Java) having a return type 'seq of char' (where 'seq' is a templated
> >type representing a sequence). But 'seq' is, like all other classes,
derived
> >from 'anything'.
>   function toString(x : anything) return seq;
> What does toString dispatch on, "anything", or "seq", or both?