Inference/src/TypeSystem/UnionType.cs
/// <summary>
/// Returns true if the union type contains method types and this methods returns differents types. (At least, one valut type).
/// </summary>
/// <returns>True if the union type contains method types and this methods returns differents types. Otherwise, false.</returns>
Returns true if the union type contains method types and this methods returns differents types. (At least, one valut type).
Returns true if the union type contains method types and this methods returns differents types . ( At least one valut type ) .
public bool ContainsDifferentReturns() {
            TypeExpression current = null;
            TypeExpression aux = null;
            for (int i = 0; i < this.typeSet.Count; i++) {
                if (this.typeSet[i] is TypeVariable)
                    return true;
                MethodType mt = null;
                if ((mt = TypeExpression.As<MethodType>(this.typeSet[i])) != null) {
                    current = mt.Return;
                    if (aux != null && aux != current) 
                        return true;
                    aux = current;
                }
            }
            return false;
        }
public bool ContainsDifferentReturns ( ) { TypeExpression current = null ; TypeExpression aux = null ; for ( int i = 0 ; i < this . typeSet . Count ; i ++ ) { if ( this . typeSet [ i ] is TypeVariable ) return true ; MethodType mt = null ; if ( ( mt = TypeExpression . As < MethodType > ( this . typeSet [ i ] ) ) != null ) { current = mt . Return ; if ( aux != null && aux != current ) return true ; aux = current ; } } return false ; }
Returns true if the union type contains method types and this methods returns differents types.
Returns true if the union type contains method types and this methods returns differents types .
// This comparation searches differents value types.
True if the union type contains method types and this methods returns differents types. Otherwise, false.
True if the union type contains method types and this methods returns differents types . Otherwise false .