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/Match.java
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 2m50s
Details

Browse Source 
modified:   ../src/test/java/TestComplete.java
This commit is contained in:
pl@gohorb.ba-horb.de 2024-04-09 01:50:42 +02:00
parent 0b7f07108f
commit 0d5be89310
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/main/java/de/dhbwstuttgart/typeinference/unify/Match.java
View File

@ -79,9 +79,10 @@ public class Match implements IMatch {
// SUBST - Rule // SUBST - Rule
if(lhsType instanceof PlaceholderType) { if(lhsType instanceof PlaceholderType) {
mgu.add((PlaceholderType) lhsType, rhsType); mgu.add((PlaceholderType) lhsType, rhsType);
termsList = termsList.stream().map(mgu::applyleft).collect(Collectors.toCollection(ArrayList::new));
idx = idx+1 == termsList.size() ? 0 : idx+1; idx = idx+1 == termsList.size() ? 0 : idx+1;
continue; //PL 2024-04-08 falsch da es sich nicht um Unifikation handelt
//termsList = termsList.stream().map(mgu::applyleft).collect(Collectors.toCollection(ArrayList::new));
//continue;
} }
idx++; idx++;

2
src/test/java/TestComplete.java
View File

@ -1033,7 +1033,7 @@ public class TestComplete {
} }
@Test @Test
@Ignore("This hangs") //@Ignore("This hangs")
public void testBug309() throws Exception { public void testBug309() throws Exception {
var classFiles = generateClassFiles(new ByteArrayClassLoader(), "Bug309.jav"); var classFiles = generateClassFiles(new ByteArrayClassLoader(), "Bug309.jav");
var clazz = classFiles.get("Bug309"); var clazz = classFiles.get("Bug309");