Re: Covariant Return Types

Quoting Daniel Bonniot <[email protected]>:

> 
> >>  override merge(parent, TextElement left, TextElement right) = ...
> >>    
> >>
> >
> >I don't think this works in general, when =merge= is overloaded already. 
> >
> This is not specific to this proposal. Currently, when implementing a 
> method which has synonyms (other methods of the same name), you 
> sometimes need to disambiguate which one you mean to implement. There 
> are ways to do that (adding patterns, and the additional types between 
> brackets).

I am not sure what you mean. I remember seeing a reference to something like
this but I never understood the syntax or when it was supposed to be used.
Please give an example when you have time.

Thanks,
Brian




-------------------------------------------------------
SF.Net is sponsored by: Speed Start Your Linux Apps Now.
Build and deploy apps & Web services for Linux with
a free DVD software kit from IBM. Click Now!
http://ads.osdn.com/?ad_id=1356&alloc_id=3438&op=click