From ec2b501e6387c634b430cc681dec76423d9c2bfe Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Pl=C3=BCmicke?= Date: Thu, 26 Apr 2018 15:10:23 +0200 Subject: [PATCH] new file: test/javFiles/LambdaField.jav modified: test/typeinference/UnifyTest.java Lambda-Ausdruck als Attribute/field eingefuegt --- test/javFiles/LambdaField.jav | 6 ++++++ test/typeinference/UnifyTest.java | 10 +++++++--- 2 files changed, 13 insertions(+), 3 deletions(-) create mode 100644 test/javFiles/LambdaField.jav diff --git a/test/javFiles/LambdaField.jav b/test/javFiles/LambdaField.jav new file mode 100644 index 00000000..4eb53738 --- /dev/null +++ b/test/javFiles/LambdaField.jav @@ -0,0 +1,6 @@ +public class LambdaField { + + f = x -> x; + +} + diff --git a/test/typeinference/UnifyTest.java b/test/typeinference/UnifyTest.java index c10fae05..8e829163 100644 --- a/test/typeinference/UnifyTest.java +++ b/test/typeinference/UnifyTest.java @@ -28,10 +28,12 @@ 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")); + execute(new File(rootDirectory+"LambdaField.jav")); } +/* @Test public void lambda2() throws IOException, ClassNotFoundException { execute(new File(rootDirectory+"Lambda2.jav")); @@ -58,12 +60,14 @@ public class UnifyTest { public void facultyTyped() throws IOException, ClassNotFoundException { execute(new File(rootDirectory+"FacultyTyped.jav")); } -*/ + @Test public void matrix() throws IOException, ClassNotFoundException { execute(new File(rootDirectory+"Matrix.jav")); + //JavaTXCompiler compiler = new JavaTXCompiler(new File(rootDirectory+"Matrix.jav")); + //compiler.generateBytecode(); } -/* + @Test public void vector() throws IOException, ClassNotFoundException { execute(new File(rootDirectory+"Vector.jav"));