hg: lambda/lambda/langtools: Next round of implementation reflecting the latest 'State of the Lambda' draft; implemented features are:
neal at gafter.com
Mon Jul 26 13:48:11 PDT 2010
The "more specific" analysis doesn't depend on knowing the argument types.
On Monday, July 26, 2010, Nathan Bryant <nathan.bryant at linkshare.com> wrote:
> The usual rules would seem to be appropriate when the parameter type is known. In this case, it is not.
More information about the lambda-dev