diff --git a/test/javFiles/Vector.jav b/test/javFiles/Vector.jav index 40072fe4..9d2eadd7 100644 --- a/test/javFiles/Vector.jav +++ b/test/javFiles/Vector.jav @@ -1,8 +1,13 @@ -import java.util.Vector; +import java.util.ArrayList; +import java.lang.Object; class MyVector{ id(x){ - return (x.elementAt(0)); + Object i; + x.add(i); + x.add(i); + x.add(i); + return x; } } \ No newline at end of file diff --git a/test/typeinference/UnifyTest.java b/test/typeinference/UnifyTest.java index 995890ab..e2e6206c 100644 --- a/test/typeinference/UnifyTest.java +++ b/test/typeinference/UnifyTest.java @@ -28,13 +28,18 @@ public class UnifyTest { public void finiteClosure() throws IOException, ClassNotFoundException { execute(new File(rootDirectory+"fc.jav")); } - */ @Test public void lambda() throws IOException, ClassNotFoundException { execute(new File(rootDirectory+"Lambda.jav")); } + */ + @Test + public void vector() throws IOException, ClassNotFoundException { + execute(new File(rootDirectory+"Vector.jav")); + } + /* @Test public void lambda2() throws IOException, ClassNotFoundException {