Ironruby core - Feb 2010 - Code Review: TypeInferenceBugs (take 2)

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: TypeInferenceBugs.diff
Type: application/octet-stream
Size: 11921 bytes
Desc: TypeInferenceBugs.diff
URL:
<http://rubyforge.org/pipermail/ironruby-core/attachments/20100223/d503b2b9/attachment.obj>