Boxing function types
neal at gafter.com
Tue Nov 24 08:47:31 PST 2009
On Sun, Nov 22, 2009 at 8:25 AM, Neal Gafter <neal at gafter.com> wrote:
> This is an interesting idea, but you have the variance backwards for
> argument types. The argument types in the function on the right-hand-side
> of the assignment must be subtypes (not supertypes) of the argument types in
> the function on the left-hand-side.
How embarrassing. You had it right the first time.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the closures-dev