JavaTX/JavaCompilerCore
2
0
Fork 3
Code Issues 99 Pull Requests Actions Packages Projects Releases Wiki Activity

modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java

Browse Source 
Kommentar "In commit dfd91b5f8b eingefuegt" eingefuegt
This commit is contained in:
pl@gohorb.ba-horb.de 2023-10-07 20:30:37 +02:00
parent 9764ec6db1
commit f7c53fc6c3
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
View File

@ -371,6 +371,7 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>> {
do { do {
eq0Prime = eqSubst.get(); eq0Prime = eqSubst.get();
eq0 = applyTypeUnificationRules(eq0Prime, fc); eq0 = applyTypeUnificationRules(eq0Prime, fc);
/* In commit dfd91b5f8b7fca1cb5f302eec4b0ba3330271c9b eingefuegt ANFANG */
Set<UnifyPair> occurcheck = new HashSet<>(eq0); Set<UnifyPair> occurcheck = new HashSet<>(eq0);
occurcheck.removeAll(eq0Prime); occurcheck.removeAll(eq0Prime);
ocurrPairs = occurcheck.stream().filter(x -> { ocurrPairs = occurcheck.stream().filter(x -> {
@ -386,6 +387,7 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>> {
ret.add(ocurrPairs); ret.add(ocurrPairs);
return ret; return ret;
} }
/* In commit dfd91b5f8b7fca1cb5f302eec4b0ba3330271c9b eingefuegt ENDE */
eqSubst = rules.subst(eq0, oderConstraints); eqSubst = rules.subst(eq0, oderConstraints);
} while (eqSubst.isPresent()); } while (eqSubst.isPresent());