public override ITypeCheckType TypeCheck(ITypeEnvironment env)
{
ITypeCheckType a = Expr1.TypeCheck(env);
ITypeCheckType b = Expr2.TypeCheck(env);
if (!a.CompatibleWith(b))
{
env.ReportError(String.Format("Comparison using '==' not possible. Incompatible types: '{0}', '{1}'.",
a, b), SourceStartPosition, SourceEndPosition);
}
return new BoolType();
}