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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,99f33f51845a7793
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-11-05 10:05:00 PST
Path: 
 archiver1.google.com!news1.google.com!sn-xit-02!supernews.com!newsfeed.direct.ca!look.ca!newshub2.rdc1.sfba.home.com!news.home.com!news1.rdc1.sfba.home.com.POSTED!not-for-mail
From: tmoran@acm.org
Newsgroups: comp.lang.ada
Subject: Re: 'withing' problem
References: <3be660c1$0$237$ed9e5944@reading.news.pipex.net>
X-Newsreader: Tom's custom newsreader
Message-ID: <fxAF7.23429$wj5.13409982@news1.rdc1.sfba.home.com>
Date: Mon, 05 Nov 2001 18:04:59 GMT
NNTP-Posting-Host: 24.7.82.199
X-Complaints-To: abuse@home.net
X-Trace: news1.rdc1.sfba.home.com 1004983499 24.7.82.199 (Mon,
 05 Nov 2001 10:04:59 PST)
NNTP-Posting-Date: Mon, 05 Nov 2001 10:04:59 PST
Organization: Excite@Home - The Leader in Broadband http://home.com/faster
Xref: archiver1.google.com comp.lang.ada:15829
Date: 2001-11-05T18:04:59+00:00
List-Id: <comp.lang.ada>

>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?