Falsche Varianz #217

New Issue

dholle · 2023-06-16T11:09:15Z

dholle commented

2023-06-16 11:09:15 +00:00

Beispiel:

import java.util.Vector;

public class TestVector {

m(v, w) {
    var a = v.elementAt(0);
    var b = id(a);
	w.addElement(b);
}

id(x) {
	return x;
}

}

class TestVector {

TestVector()({
super(());
})::TPH AP
TPH N m(TPH O v, TPH P w)({
TPH Q a;
(a)::TPH Q = ((v)::TPH O.elementAt Signature: TPH S, TPH T)::TPH U;
TPH W b;
(b)::TPH W = ((this)::TPH X.id Signature: [TPH Y, TPH Z]((a)::TPH Q))::TPH AA;
((w)::TPH P.addElement Signature: [TPH AC, TPH AD]((b)::TPH W))::TPH AE;
return;
})::TPH AG

TPH AH id(TPH AI x)({
return (x)::TPH AI;
})::TPH AJ

TestVector()({
super(());
})::TPH AM

}

Constraints: [(AI < AH), (W < ADA), (ACZ < U), (U < Q), (AH < AA), (AA < W), (Q < AI)]

Der Fehler tritt nur auf, wenn der Test alleine ausgeführt wird.
Die Varianzen sind:
[ACZ, U, Q, AA, W, ADA]
[ 1, 1, 1, -1, -1, 1]

ADA müsste eigentlich -1 bekommen.

Beispiel: import java.util.Vector; public class TestVector { m(v, w) { var a = v.elementAt(0); var b = id(a); w.addElement(b); } id(x) { return x; } } class TestVector { TestVector()({ super(()); })::TPH AP TPH N m(TPH O v, TPH P w)({ TPH Q a; (a)::TPH Q = ((v)::TPH O.elementAt Signature: [TPH S, TPH T](0))::TPH U; TPH W b; (b)::TPH W = ((this)::TPH X.id Signature: [TPH Y, TPH Z]((a)::TPH Q))::TPH AA; ((w)::TPH P.addElement Signature: [TPH AC, TPH AD]((b)::TPH W))::TPH AE; return; })::TPH AG TPH AH id(TPH AI x)({ return (x)::TPH AI; })::TPH AJ TestVector()({ super(()); })::TPH AM } Constraints: [(AI < AH), (W < ADA), (ACZ < U), (U < Q), (AH < AA), (AA < W), (Q < AI)] Der Fehler tritt nur auf, wenn der Test alleine ausgeführt wird. Die Varianzen sind: [ACZ, U, Q, AA, W, ADA] [ 1, 1, 1, -1, -1, 1] ADA müsste eigentlich -1 bekommen.

pl commented

2023-06-19 14:14:28 +00:00

*** Bug 256 has been marked as a duplicate of this bug. ***