diff --git a/test/javFiles/Lambda2.jav b/test/javFiles/Lambda2.jav index fbcdaf55..cf1e910b 100644 --- a/test/javFiles/Lambda2.jav +++ b/test/javFiles/Lambda2.jav @@ -1,3 +1,4 @@ +import java.lang.String; public class Lambda2 { diff --git a/test/typeinference/UnifyTest.java b/test/typeinference/UnifyTest.java index 2f7107d8..ac7ef221 100644 --- a/test/typeinference/UnifyTest.java +++ b/test/typeinference/UnifyTest.java @@ -33,11 +33,12 @@ public class UnifyTest { public void lambda() throws IOException, ClassNotFoundException { execute(new File(rootDirectory+"LambdaField.jav")); } - +*/ @Test public void lambda2() throws IOException, ClassNotFoundException { execute(new File(rootDirectory+"Lambda2.jav")); } +/* @Test public void lambda3() throws IOException, ClassNotFoundException { execute(new File(rootDirectory+"Lambda3.jav")); @@ -51,11 +52,12 @@ public class UnifyTest { execute(new File(rootDirectory+"Generics.jav")); } */ +/* @Test public void faculty() throws IOException, ClassNotFoundException { execute(new File(rootDirectory+"Faculty.jav")); } - +*/ /* @Test public void facultyTyped() throws IOException, ClassNotFoundException {