Fehler im Case1 des vierten Schritts #252

New Issue

pl · 2016-05-01T23:06:19Z

pl commented

2016-05-01 23:06:19 +00:00

Folgendes Beispiel liefert einen Fehler

import java.util.Vector;

class Matrix extends Vector<Vector> {
op = (m) -> (f) -> f.apply(this, m);
}

Das Problem ist, dass [(Matrix <. java.util.Vector)]
zum undefined Pair wird, obwohl Matrix < Vector<Vector> im FC liegt.

Folgendes Beispiel liefert einen Fehler import java.util.Vector; class Matrix extends Vector<Vector<Integer>> { op = (m) -> (f) -> f.apply(this, m); } Das Problem ist, dass [(Matrix <. java.util.Vector<E265119009>)] zum undefined Pair wird, obwohl Matrix < Vector<Vector<Integer>> im FC liegt.

pl commented

2016-05-03 00:04:05 +00:00

Hallo Herr Plümicke,

das Problem ist, ,dass in der FC (Matrix < Vector<Vector>) steht und in den Constraints (Matrix <. java.util.Vector<....>). Da die Typen anhand ihres Names verglichen werden, ist java.util.Vector != Vector und das Paar kann nicht adaptiert werden (da Matrix nicht als Subtyp von java.util.Vector erkannt wird). Die Typen in der FC müssen einheitlich mit den zu unifizierenden Typen benamt sein.

Mfg
Florian Steurer

Hallo Herr Plümicke, das Problem ist, ,dass in der FC (Matrix < Vector<Vector<Integer>>) steht und in den Constraints (Matrix <. java.util.Vector<....>). Da die Typen anhand ihres Names verglichen werden, ist java.util.Vector != Vector und das Paar kann nicht adaptiert werden (da Matrix nicht als Subtyp von java.util.Vector erkannt wird). Die Typen in der FC müssen einheitlich mit den zu unifizierenden Typen benamt sein. Mfg Florian Steurer

pl commented

2016-05-03 00:04:48 +00:00

Hallo Herr Steurer,

leider klappt es auch mit

import java.util.Vector;

class Matrix extends java.util.Vector<java.util.Vector> {
op = (m) -> (f) -> f.apply(this, m);
}

nicht.

Jetzt steht im FC: (Matrix < Vector<java.util.Vector>)

und undefined pairs: [(Matrix <. java.util.Vector)]

Aber das scheint ein Paserproblem zu sien.

Viele Grüße
Martin Plümicke

Hallo Herr Steurer, leider klappt es auch mit import java.util.Vector; class Matrix extends java.util.Vector<java.util.Vector<Integer>> { op = (m) -> (f) -> f.apply(this, m); } nicht. Jetzt steht im FC: (Matrix < Vector<java.util.Vector<Integer>>) und undefined pairs: [(Matrix <. java.util.Vector<E265119009>)] Aber das scheint ein Paserproblem zu sien. Viele Grüße Martin Plümicke

stan commented

2016-05-12 19:45:42 +00:00

*** This bug has been marked as a duplicate of bug 52 ***

Sign in to join this conversation.