diff --git a/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java b/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java index c4d49693..7c51d31c 100644 --- a/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java +++ b/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java @@ -183,7 +183,6 @@ public class TypeUnifyTask extends RecursiveTask>> { * Step 6 b) Build the union over everything. */ - // TODO Parallel stream und synced set? for(TypeUnifyTask fork : forks) eqPrimePrimeSet.addAll(fork.join()); @@ -405,7 +404,7 @@ public class TypeUnifyTask extends RecursiveTask>> { */ protected Set> unifyCase1(PlaceholderType a, UnifyType thetaPrime, IFiniteClosure fc) { Set> result = new HashSet<>(); - + Set cs = fc.getAllTypesByName(thetaPrime.getName()); cs.add(thetaPrime);