Fehler in Unify #257

New Issue

stan · 2018-01-29T18:28:50Z

stan commented

2018-01-29 18:28:50 +00:00

Folgendes Constraint-Set liefert kein Ergebnis:
[(void <. A), (java.util.Vector<java.util.Vector<java.lang.Integer>> <. Matrix), (A =. C), (B =. Matrix), (B <. Matrix)]

Warum? Das FiniteClosure scheint in Ordnung zu sein.

Es geht um Test test/typeinference/MatrixTest
in commit c7dea4c86b

Folgendes Constraint-Set liefert kein Ergebnis: [(void <. A), (java.util.Vector<java.util.Vector<java.lang.Integer>> <. Matrix), (A =. C), (B =. Matrix), (B <. Matrix)] Warum? Das FiniteClosure scheint in Ordnung zu sein. Es geht um Test test/typeinference/MatrixTest in commit c7dea4c86bfa9c22567dd9452537bca5518c2b30

pl commented

2018-01-29 22:34:37 +00:00

java.util.Vector<java.util.Vector<java.lang.Integer>> <. Matrix
ist falsch.

Es müsste

Matrix <. java.util.Vector<java.util.Vector<java.lang.Integer>>

heißen.

methode(Matrix m) {
Vector<Vector> i;
methode(i);
}

ist falsch

Es müsste

methode(Vector<Vector> m) {
Matrix i;
methode(i);
}

heißen. dann läuft es durch.

java.util.Vector<java.util.Vector<java.lang.Integer>> <. Matrix ist falsch. Es müsste Matrix <. java.util.Vector<java.util.Vector<java.lang.Integer>> heißen. methode(Matrix m) { Vector<Vector<Integer>> i; methode(i); } ist falsch Es müsste methode(Vector<Vector<Integer>> m) { Matrix i; methode(i); } heißen. dann läuft es durch.

Sign in to join this conversation.