Self type

Peter Hall peter.hall at
Mon Aug 13 18:49:45 PDT 2007

On 8/14/07, Eylon Stroh <estroh at> wrote:
> From the proposal:
> "The return type T2 is ok, even if the function returns a T1 instead...
> covariant occurrences of Self (eg in the result type) are replaced by
> T2"

I was also wondering about this.
To me, if someone writes "Self" for an argument or return type, they
probably mean T1. If they actually want it to be "*", why not let them
write "*"? Or is there something else going on here?


More information about the Es4-discuss mailing list