modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java

Bei Return SMALLERDOT durch EQUALSDOT ersetzt
This commit is contained in:
pl@gohorb.ba-horb.de 2021-02-16 16:52:53 +01:00
parent bbdf220324
commit ab99889c3c

View File

@ -490,7 +490,7 @@ public class TYPEStmt implements StatementVisitor{
@Override
public void visit(Return returnExpr) {
returnExpr.retexpr.accept(this);
constraintsSet.addUndConstraint(new Pair(returnExpr.getType(),info.getCurrentTypeScope().getReturnType(), PairOperator.SMALLERDOT));
constraintsSet.addUndConstraint(new Pair(returnExpr.getType(),info.getCurrentTypeScope().getReturnType(), PairOperator.EQUALSDOT));
}
@Override