From 0d5be8931045000f707b48da6c3fcf9c93e3687b Mon Sep 17 00:00:00 2001 From: "pl@gohorb.ba-horb.de" Date: Tue, 9 Apr 2024 01:50:42 +0200 Subject: [PATCH] modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/Match.java modified: ../src/test/java/TestComplete.java --- .../java/de/dhbwstuttgart/typeinference/unify/Match.java | 5 +++-- src/test/java/TestComplete.java | 2 +- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/src/main/java/de/dhbwstuttgart/typeinference/unify/Match.java b/src/main/java/de/dhbwstuttgart/typeinference/unify/Match.java index 91406612..b29caa1a 100644 --- a/src/main/java/de/dhbwstuttgart/typeinference/unify/Match.java +++ b/src/main/java/de/dhbwstuttgart/typeinference/unify/Match.java @@ -79,9 +79,10 @@ public class Match implements IMatch { // SUBST - Rule if(lhsType instanceof PlaceholderType) { mgu.add((PlaceholderType) lhsType, rhsType); - termsList = termsList.stream().map(mgu::applyleft).collect(Collectors.toCollection(ArrayList::new)); 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++; diff --git a/src/test/java/TestComplete.java b/src/test/java/TestComplete.java index d98627b5..9a2bd428 100644 --- a/src/test/java/TestComplete.java +++ b/src/test/java/TestComplete.java @@ -1033,7 +1033,7 @@ public class TestComplete { } @Test - @Ignore("This hangs") + //@Ignore("This hangs") public void testBug309() throws Exception { var classFiles = generateClassFiles(new ByteArrayClassLoader(), "Bug309.jav"); var clazz = classFiles.get("Bug309");