Inference/src/TypeSystem/Operations/ConstrainedDot.cs
/// <summary>
/// If showMessages is true it raises and error. It returns null
/// </summary>
/// <param name="from">TypeExpression from we want to cast</param>
/// <returns>null</returns>
// in our case we only notify operations not allowed
// for other pruposes invoke explicitly another kind of error
If showMessages is true it raises and error. It returns null
If showMessages is true it raises and error . It returns null
public override object ReportError(TypeExpression tE) {
            if (this.showErrorMessage)
                ErrorManager.Instance.NotifyError(new OperationNotAllowedError(".", tE.FullName, this.location));
            return null;
        }
public override object ReportError ( TypeExpression tE ) { if ( this . showErrorMessage ) ErrorManager . Instance . NotifyError ( new OperationNotAllowedError ( " " , tE . FullName , this . location ) ) ; return null ; }
If showMessages is true it raises and error.
If showMessages is true it raises and error .
None
tE
TypeExpression
from
TypeExpression from we want to cast
TypeExpression from we want to cast