OverloadingInMethod2: TPH1 <. ? super TPH2 führt zu TPH1 <. TPH2 #168

New Issue

pl · 2015-03-13T01:48:06Z

pl commented

2015-03-13 01:48:06 +00:00

Im Beispiel

class OverloadingInMethod2{

<ABG, T11702297201, ABL extends ABG, R1702297201 extends ABL, C extends T11702297201> Fun1<? extends Fun1<? extends ABG, ? super Fun1<R1702297201, T11702297201>>, ? super C> m () {
	Fun1<? extends Fun1<? extends ABG, ? super Fun1<R1702297201, T11702297201>>, ? super C> op;
	op = (m) -> (f) -> f.apply(m);
	return op;
}

}

kommt es zu

TPH1 <. ? super TPH2 führt zu TPH1 <. TPH2
in unify.

Dies ist zwar richtig. Die Gleichung TPH1 <. TPH2 ist dann aber in Eq2 und müsste nach Eq1 kopiert werden.
In Eq2 führt zu zum Abbruch der Unifikation.

Im Beispiel class OverloadingInMethod2{ <ABG, T11702297201, ABL extends ABG, R1702297201 extends ABL, C extends T11702297201> Fun1<? extends Fun1<? extends ABG, ? super Fun1<R1702297201, T11702297201>>, ? super C> m () { Fun1<? extends Fun1<? extends ABG, ? super Fun1<R1702297201, T11702297201>>, ? super C> op; op = (m) -> (f) -> f.apply(m); return op; } } kommt es zu TPH1 <. ? super TPH2 führt zu TPH1 <. TPH2 in unify. Dies ist zwar richtig. Die Gleichung TPH1 <. TPH2 ist dann aber in Eq2 und müsste nach Eq1 kopiert werden. In Eq2 führt zu zum Abbruch der Unifikation.

stan commented

2017-10-10 15:22:07 +00:00

OLD BUG

Sign in to join this conversation.