Changes between Version 2 and Version 3 of Ticket #3

Show
Ignore:
Timestamp:
11/10/14 12:24:34 (10 years ago)
Author:
smagi
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #3 – description

    v2 v3  
    1010public interface IContinuation<T0, T1> : IParam<T0>, IParam<T1> { } 
    1111}}} 
    12 Basically, this is only an error when defined for the same type parameters at the *use* site, not at the *declaration* site, but C# doesn't do this. 
     12Basically, this is only an error when defined for the same type parameters at the *use* site, not at the *declaration* site, but C# doesn't defer this check as I think it should. 
    1313 
    1414This still wouldn't help for case 2 though, so we need a runtime check regardless. Fortunately, this can be checked once when the type is first loaded as a continuation.