modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java

Bei Literal die Zuweisung des Typs eingefuegt aber wieder auskommentiert,
weil es im Moment nur double Literals gibt.
	modified:   test/javFiles/Lambda.jav
This commit is contained in:
Martin Plümicke 2018-06-23 10:42:46 +02:00
parent 2eb7a63480
commit 0ecaf36648
2 changed files with 12 additions and 8 deletions

View File

@ -328,7 +328,16 @@ public class TYPEStmt implements StatementVisitor{
@Override @Override
public void visit(Literal literal) { public void visit(Literal literal) {
//Nothing to do here. Literale erzeugen keine Constraints //Nothing to do here. Literale erzeugen keine Constraints
//PL 2018-06-23 Sie haben einen Typ. Der muesste hier eingefuegt werden
//wie hier fuer double gezeigt. Im Momment auskommentiert, weil zu wenige Literaltypen
//funktionieren
//if (literal.value instanceof Double) {
// constraintsSet.addUndConstraint(new Pair(literal.getType(), doublee, PairOperator.EQUALSDOT));
//}
//else {
// throw new NotImplementedException();
//}
} }
@Override @Override

View File

@ -1,17 +1,12 @@
import java.lang.Integer; class Apply { }
import java.lang.Number;
import java.util.Vector;
public class Lambda { public class Lambda {
m () { m () {
var v;
v.addElement(3);
v.elementAt(1);
var lam1 = (x) -> { var lam1 = (x) -> {
return x; return x;
}; };
return lam1.apply(1); return lam1.apply(new Apply());
} }
} }