OverloadingInMethod2: zu großes Cartesisches Produkt #169

New Issue

pl · 2015-03-20T00:50:38Z

pl commented

2015-03-20 00:50:38 +00:00

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

Lässt sich mit Zussammenhangskomponenten nicht lösen.

pl commented

2015-03-20 00:52:09 +00:00

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

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

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