FunN RefType werden nicht verwendet #241

Open
opened 2018-02-21 14:10:07 +00:00 by stan · 1 comment
Owner

bevor ich nen Bug aufmache. Wieso unifiziert folgendes Constraint Set nicht:

[(java.lang.Integer =. O), (P =. GP), (N <. java.lang.Integer), (GQ =.
N), (java.lang.Integer <. GR), (L <. Fun1<HG,HH>), (M <. Faculty), (O <.
P), (S <. L), (java.lang.Integer <. java.lang.Integer), (L <.
Fun1<java.lang.Integer,java.lang.Integer>), (M =. Faculty), (S =.
Fun1<GP,java.lang.Integer>)]

Das Problem ist, dass die FunN falsch übersetzt werden!
Es sind jetzt ReferenceTypes und müssten FunNTypes sein (siehe Screenshot)

Wenn ich mich recht entsinne, hat das mal funktioniert bei der KPS und ManLang.
Hast Du was an der Übersetzung geändert?

> bevor ich nen Bug aufmache. Wieso unifiziert folgendes Constraint Set nicht: > > [(java.lang.Integer =. O), (P =. GP), (N <. java.lang.Integer), (GQ =. > N), (java.lang.Integer <. GR), (L <. Fun1<HG,HH>), (M <. Faculty), (O <. > P), (S <. L), (java.lang.Integer <. java.lang.Integer), (L <. > Fun1<java.lang.Integer,java.lang.Integer>), (M =. Faculty), (S =. > Fun1<GP,java.lang.Integer>)] Das Problem ist, dass die FunN falsch übersetzt werden! Es sind jetzt ReferenceTypes und müssten FunNTypes sein (siehe Screenshot) Wenn ich mich recht entsinne, hat das mal funktioniert bei der KPS und ManLang. Hast Du was an der Übersetzung geändert?
Owner

Im Moment funktioniert das Parsen der FunN-Typen nicht, weil er keine zugehörige Klasse/zugehöriges Interface findet.

FunN-Typen sollen als strukturelle Typen umgesetzt werden:

Wenn möglich FunN*, alternativ wäre FunN$$.

Im Moment funktioniert das Parsen der FunN-Typen nicht, weil er keine zugehörige Klasse/zugehöriges Interface findet. FunN-Typen sollen als strukturelle Typen umgesetzt werden: Wenn möglich FunN*, alternativ wäre FunN$$.
Sign in to join this conversation.
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: JavaTX/JavaCompilerCore#241
No description provided.