Erzeugen von Bytecode, wenn keine Lösung mehr auswählbar ist #178

New Issue

pl · 2015-10-07T10:17:49Z

pl commented

2015-10-07 10:17:49 +00:00

Im Moment wird die Bytecodegen-Methode nur aufgerufen, wenn genau eine Typisierung möglich ist.
Es sollte aber auch dann Bytecode erzeugt, wenn keine Lösung mehr auswählbar ist, auch wenn intern noch mehrere Möglichkeiten möglich sind.

Im Moment wird die Bytecodegen-Methode nur aufgerufen, wenn genau eine Typisierung möglich ist. Es sollte aber auch dann Bytecode erzeugt, wenn keine Lösung mehr auswählbar ist, auch wenn intern noch mehrere Möglichkeiten möglich sind.

pl commented

2015-10-14 17:19:23 +00:00

Ergänzung:

Wenn nur eine Lösung auswählbar ist, dann soll für diese Bytecode erzeugt werden.

Ergänzung: Wenn nur eine Lösung auswählbar ist, dann soll für diese Bytecode erzeugt werden.

stan commented

2015-10-15 18:13:21 +00:00

Änderungen durchgeführt. Siehe Commit 72dc22ff1d29615c2b7be51ed64322a65eab4a35

pl commented

2015-10-18 16:30:32 +00:00

Scheint noch so ganz zu funktionieren.

Für folgende beiden Beispiel wird kein Bytecode erzeugt, obwohl keine Typen mehr einsetzbar sind.

1.)
import java.util.Vector;

class Vector_Add {

<E1660369676, D> java.lang.Integer vector_add(java.util.Vector x,D y) {
java.lang.Integer i;
i = 0;
java.lang.Integer ret;
ret = 0;
while (i < x.size()) {
}
return ret;
}
}

2.)
class Lambda_Bsp {
<BDV, BDU extends BDV, ABN extends Fun1<R1186679466, java.lang.String>, R1186679466 extends BDU>
Fun1<? extends BDV, ? super Fun1<R1186679466, java.lang.String>> lambda = (f)-> f.apply("str");
}

Scheint noch so ganz zu funktionieren. Für folgende beiden Beispiel wird kein Bytecode erzeugt, obwohl keine Typen mehr einsetzbar sind. 1.) import java.util.Vector; class Vector_Add { <E1660369676, D> java.lang.Integer vector_add(java.util.Vector<E1660369676> x,D y) { java.lang.Integer i; i = 0; java.lang.Integer ret; ret = 0; while (i < x.size()) { } return ret; } } 2.) class Lambda_Bsp { <BDV, BDU extends BDV, ABN extends Fun1<R1186679466, java.lang.String>, R1186679466 extends BDU> Fun1<? extends BDV, ? super Fun1<R1186679466, java.lang.String>> lambda = (f)-> f.apply("str"); }

stan commented

2015-10-29 14:47:40 +00:00

(In reply to Martin Plümicke from comment #3)

Für folgende beiden Beispiel wird kein Bytecode erzeugt, obwohl keine Typen
mehr einsetzbar sind.

1.)
import java.util.Vector;

class Vector_Add {

<E1660369676, D> java.lang.Integer vector_add(java.util.Vector
x,D y) {
java.lang.Integer i;
i = 0;
java.lang.Integer ret;
ret = 0;
while (i < x.size()) {
}
return ret;
}
}

Hier liegt der Fehler daran, dass ein Bug in der Bytecodegenerierung auftritt. Die Bytecodegenerierung wird also aufgerufen.

2.)
class Lambda_Bsp {
<BDV, BDU extends BDV, ABN extends Fun1<R1186679466, java.lang.String>,
R1186679466 extends BDU>
Fun1<? extends BDV, ? super Fun1<R1186679466, java.lang.String>> lambda =
(f)-> f.apply("str");
}

Das gleiche bei diesem Beispiel

(In reply to Martin Plümicke from comment #3) > Für folgende beiden Beispiel wird kein Bytecode erzeugt, obwohl keine Typen > mehr einsetzbar sind. > 1.) > import java.util.Vector; > > class Vector_Add { > > <E1660369676, D> java.lang.Integer vector_add(java.util.Vector<E1660369676> > x,D y) { > java.lang.Integer i; > i = 0; > java.lang.Integer ret; > ret = 0; > while (i < x.size()) { > } > return ret; > } > } Hier liegt der Fehler daran, dass ein Bug in der Bytecodegenerierung auftritt. Die Bytecodegenerierung wird also aufgerufen. > 2.) > class Lambda_Bsp { > <BDV, BDU extends BDV, ABN extends Fun1<R1186679466, java.lang.String>, > R1186679466 extends BDU> > Fun1<? extends BDV, ? super Fun1<R1186679466, java.lang.String>> lambda = > (f)-> f.apply("str"); > } Das gleiche bei diesem Beispiel

Sign in to join this conversation.