diff --git a/src/de/dhbwstuttgart/typinference/unify/model/ExtendsType.java b/src/de/dhbwstuttgart/typinference/unify/model/ExtendsType.java index d648c249..e9dbc7c0 100644 --- a/src/de/dhbwstuttgart/typinference/unify/model/ExtendsType.java +++ b/src/de/dhbwstuttgart/typinference/unify/model/ExtendsType.java @@ -8,7 +8,7 @@ public final class ExtendsType extends Type { private Type extendedType; public ExtendsType(Type extendedType) { - super("? extends " + extendedType.getTypeParams(), extendedType.getTypeParams()); + super("? extends " + extendedType.getName(), extendedType.getTypeParams()); this.extendedType = extendedType; } diff --git a/src/de/dhbwstuttgart/typinference/unify/model/TypeParams.java b/src/de/dhbwstuttgart/typinference/unify/model/TypeParams.java index c6e3ee00..fe8dff83 100644 --- a/src/de/dhbwstuttgart/typinference/unify/model/TypeParams.java +++ b/src/de/dhbwstuttgart/typinference/unify/model/TypeParams.java @@ -61,8 +61,14 @@ public final class TypeParams implements Iterable{ TypeParams other = (TypeParams) obj; - // TODO - return other.size() == this.size(); + if(other.size() != this.size()) + return false; + + for(int i = 0; i < this.size(); i++) + if(!(this.get(i).equals(other.get(i)))) + return false; + + return true; } }