Re: Overloading for T and T'Class

[ncohen@watson.ibm.com (Norman H. Cohen)]

In article <CzAF7q.29E@inmet.camb.inmet.com>, stt@dsd.camb.inmet.com
(Tucker Taft) writes: 

|> The above is legal, though a call would generally be ambiguous.
|> Actually, the class-wide operation can be called, provided the actual
|> parameter is of some descendant of T other than T or T'Class itself.
|> Furthermore, the primitive operation once inherited by some
|> descendant (say T2) would be callable, presuming T2 is declared
|> in some other package.

Also, if the formal parameters of the two subprograms were given
different names, a named parameter association could be used to
disambiguate calls with parameters of type T or T'Class.

(This is just a language-lawyerly observation, not recommended practice.
Kids, don't try this at home.)

--
Norman H. Cohen    ncohen@watson.ibm.com