Boo

Type inference for generic method invocations

Details

  • Type: Sub-task Sub-task
  • Status: In Progress In Progress
  • Priority: Minor Minor
  • Resolution: Unresolved
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
    None
  • Number of attachments :
    0

Description

The ability to infer this:

Array.ConvertAll[of int, string] ( (1,2,3), { i as int | i.ToString() } )

...from this:

Array.ConvertAll( (1,2,3), { i as int | i.ToString() } )

Issue Links

Activity

Hide
Avishay Lavie added a comment -

Revision 2986 contains a partial solution that provides type inference for generic method invocations, without the ability to infer anonymous closure parameter types in the process.

This is better than C# 2.0's generic type inference for method invocations, but not as good as C# 3.0's.

Show
Avishay Lavie added a comment - Revision 2986 contains a partial solution that provides type inference for generic method invocations, without the ability to infer anonymous closure parameter types in the process. This is better than C# 2.0's generic type inference for method invocations, but not as good as C# 3.0's.
Hide
Avishay Lavie added a comment -

As of revision 3116, non-overloaded generic method invocations can infer parameters on anonymous closures.

Show
Avishay Lavie added a comment - As of revision 3116, non-overloaded generic method invocations can infer parameters on anonymous closures.

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated: