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

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

New Issue
Closed
opened 2015-03-13 01:48:06 +00:00 by pl · 1 comment
pl commented 2015-03-13 01:48:06 +00:00
Owner

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
Owner

OLD BUG

OLD BUG
Sign in to join this conversation.
No Label
invalid
JavaCompilerCore
No Milestone
No project
No Assignees pl
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: JavaTX/JavaCompilerCore#168
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?