JavaTX/JavaCompilerCore
2
0
Fork 3
Code Issues110 Pull Requests Actions Packages Projects Releases Wiki Activity

Fehler in Unify #257

New Issue
Closed
opened 2018-01-29 18:28:50 +00:00 by stan · 1 comment
stan commented 2018-01-29 18:28:50 +00:00
Owner

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
Owner

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.
No Label
Unify
No Milestone
No project
No Assignees stan
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: JavaTX/JavaCompilerCore#257
No description provided.
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?