hg: lambda/lambda/langtools: Next round of implementation reflecting the latest 'State of the Lambda' draft; implemented features are:

[Neal Gafter]

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.