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

OverloadingInMethod2: zu großes Cartesisches Produkt #169

New Issue
Closed
opened 2015-03-20 00:50:38 +00:00 by pl · 5 comments
pl commented 2015-03-20 00:50:38 +00:00
Owner

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;
}

}

Es entstehen in unify 960 Subtypingen mit denen ein rießiges Cartesischen Produkt eintsteht.

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; } } Es entstehen in unify 960 Subtypingen mit denen ein rießiges Cartesischen Produkt eintsteht.
pl commented 2015-03-20 00:51:17 +00:00
Author
Owner

Lässt sich mit Zussammenhangskomponenten nicht lösen.

Lässt sich mit Zussammenhangskomponenten nicht lösen.
pl commented 2015-03-20 00:52:09 +00:00
Author
Owner

Code ist noch vollendet.

Sollte noch vollendet werden.

Code ist noch vollendet. Sollte noch vollendet werden.
pl commented 2015-03-20 14:55:21 +00:00
Author
Owner

Lösungsidee:

Schritt 4, Teil 1 sollte als Ergbenis ein ODER-Constraint gebeldet werden.

Die Bildung des Cart.Produkt sollte dann mit den gleichen Optimierungen (ATPS-Paper) gebildet werden.

Lösungsidee: Schritt 4, Teil 1 sollte als Ergbenis ein ODER-Constraint gebeldet werden. Die Bildung des Cart.Produkt sollte dann mit den gleichen Optimierungen (ATPS-Paper) gebildet werden.
pl commented 2015-03-23 12:28:38 +00:00
Author
Owner

Zusammenhangskomponenten wieder löschen, da diese bereits in Sourcefile gebildet werden und sie daher hier nichts mehr bringen

Zusammenhangskomponenten wieder löschen, da diese bereits in Sourcefile gebildet werden und sie daher hier nichts mehr bringen
stan commented 2017-10-10 15:22:25 +00:00
Owner

OLD BUG

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

No dependencies set.

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