Changes between Initial Version and Version 2 of Ticket #3

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

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #3 – description

    initial v2  
    66It would be nice if at least 1 could be enforced statically, but I don't see a way to do it. IContinuationX could implement a basic IParam<T> interface, but if you try to implement it for multiple type parameters, you get an error: 
    77{{{ 
    8 // error: 'IContinuation<T0,T1>' cannot implement both 'IParam<T0>' and 'IParam<T1>' because they may unify for some type parameter substitutions 
     8// error: 'IContinuation<T0,T1>' cannot implement both 'IParam<T0>' and 'IParam<T1>' because they may unify 
     9// for some type parameter substitutions 
    910public interface IContinuation<T0, T1> : IParam<T0>, IParam<T1> { } 
    1011}}}