tfpt review "/shelveset:TypeInferenceBugs;REDMOND\tomat"
Comment :
DLR:
Fixes bugs in type inference:
1) By-ref generic parameter
public void Foo<T>(ref T x);
Foo(1)
Foo(StrongBox())
2) Multiple generic parameters
public IEnumerable<TResult> Select<TSource, TResult>(IEnumerable<TSource>
source, Func<TSource, TResult> selector);
3) Generic arrays
public int Foo<T>(T[] x);
4) Type shape difference
public static int f5<T>(Dictionary<Dictionary<string, T>, Dictionary<int,
T>> arg);
C.f5( Dictionary[List[str], Dictionary[int, str]]() )
In general type inference seems to need more test coverage - various type
shapes, arrays, ref/out with and w/o strong boxes, params array, params dict,
optional, named combinations.
I've added a few tests for the cases above to Ruby unit tests.
Ruby:
Implements IInferableInvokable on blocks so that they can be coerced to
Func<object*> and Action<object*> delegates:
Enumerable.select([1,2,3], lambda { |x| x + 1 }).each { |a| puts a }Tomas
TypeInferenceBugs.diff
Description: TypeInferenceBugs.diff
_______________________________________________ Ironruby-core mailing list [email protected] http://rubyforge.org/mailman/listinfo/ironruby-core
