Re: 'withing' problem

["David Crocker" <dcrocker@imsltd.com>]

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?