Generic Type Var werden zu PlaceholderTypen konvertiert
This commit is contained in:
parent
5d760d4222
commit
edda41f546
@ -181,8 +181,4 @@ public class ClassGenerator extends ClassGen{
|
|||||||
super.addMethod(m);
|
super.addMethod(m);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
}
|
}
|
||||||
|
@ -125,8 +125,8 @@ public class UnifyTypeFactory {
|
|||||||
}
|
}
|
||||||
|
|
||||||
public static UnifyType convert(GenericTypeVar t){
|
public static UnifyType convert(GenericTypeVar t){
|
||||||
//return new PlaceholderType(t.get_Name());
|
return new PlaceholderType(TypePlaceholder.fresh(NULL_NODE).get_Name());
|
||||||
return new ReferenceType(t.get_Name());
|
//return new ReferenceType(t.get_Name());
|
||||||
}
|
}
|
||||||
|
|
||||||
public static UnifyConstraintsSet convert(ConstraintsSet constraints) {
|
public static UnifyConstraintsSet convert(ConstraintsSet constraints) {
|
||||||
|
Loading…
Reference in New Issue
Block a user