protected override SucoExpression deduceTypes(SucoTypeEnvironment env, SucoContext context)
{
var condition = Condition.DeduceTypes(env, context);
if (!(condition.Type is SucoBooleanType))
{
throw new SucoCompileException($"The condition in a ?: operator must be a boolean.", Condition.StartIndex, Condition.EndIndex);
}
var trueExpr = True.DeduceTypes(env, context);
var falseExpr = False.DeduceTypes(env, context);
SucoType thisType;
if (trueExpr.Type.Equals(falseExpr.Type))
{
thisType = trueExpr.Type;
}
else if (trueExpr.Type.ImplicitlyConvertibleTo(falseExpr.Type))
{
trueExpr = trueExpr.ImplicitlyConvertTo(falseExpr.Type);
thisType = falseExpr.Type;
}
else if (falseExpr.Type.ImplicitlyConvertibleTo(trueExpr.Type))
{
falseExpr = falseExpr.ImplicitlyConvertTo(trueExpr.Type);
thisType = trueExpr.Type;
}
else
{
throw new SucoCompileException($"Types “{trueExpr.Type}” and “{falseExpr.Type}” are not compatible.", True.StartIndex, False.EndIndex);
}
return(new SucoConditionalExpression(StartIndex, EndIndex, condition, trueExpr, falseExpr, thisType));
}
