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

Id.jav falscher MethodType #175

New Issue
Closed
opened 2015-09-23 11:05:39 +00:00 by pl · 3 comments
pl commented 2015-09-23 11:05:39 +00:00
Owner
Copy Link

javap -v Id.class liefert

...
#15 = MethodType #8 // (-Ljava/lang/Integer;)Ljava/lang/Integer;
...

Das "-" bei (-Ljava/lang/Integer;)Ljava/lang/Integer

dürfte falsch sein.

javap -v Id.class liefert ... #15 = MethodType #8 // (-Ljava/lang/Integer;)Ljava/lang/Integer; ... Das "-" bei (-Ljava/lang/Integer;)Ljava/lang/Integer dürfte falsch sein.
stan commented 2015-09-23 12:39:49 +00:00
Owner
Copy Link

Das "-" bei (-Ljava/lang/Integer;)Ljava/lang/Integer

Im unifizierten ResultSet steht:
(TPH ABH = java.lang.Integer),
(TPH B = java.lang.Integer),
(TPH ABG = Fun1< ? extends TPH ABH, ? super TPH B >),

> Das "-" bei (-Ljava/lang/Integer;)Ljava/lang/Integer Im unifizierten ResultSet steht: (TPH ABH = java.lang.Integer), (TPH B = java.lang.Integer), (TPH ABG = Fun1< ? extends TPH ABH, ? super TPH B >),
stan commented 2015-09-23 16:09:01 +00:00
Owner
Copy Link

Problem teilweise gelöst.
In der Angabe des MethodenTyps des LambdaAusdrucks für die InvokeDynamic Instruktion werden keine WildcardTypen verwendet. Typ wird somit zu:
(Ljava/lang/Integer;)Ljava/lang/Integer

Dennoch ist die Typisierung des Lambda-Ausdrucks streng genommen nicht korrekt.

Beispiel:

op = (Integer x)->x;

Der Typinferenzalgorithmus berechnet den allgemeinsten Typ für das Feld op:
Fun1<? extends Integer, ? super Integer>
Dies ist allerdings nicht der Typ des Lambda-Ausdrucks, welcher schlicht:
(Ljava/lang/Integer;)Ljava/lang/Integer ist.

Problem teilweise gelöst. In der Angabe des MethodenTyps des LambdaAusdrucks für die InvokeDynamic Instruktion werden keine WildcardTypen verwendet. Typ wird somit zu: (Ljava/lang/Integer;)Ljava/lang/Integer Dennoch ist die Typisierung des Lambda-Ausdrucks streng genommen nicht korrekt. Beispiel: op = (Integer x)->x; Der Typinferenzalgorithmus berechnet den allgemeinsten Typ für das Feld op: Fun1<? extends Integer, ? super Integer> Dies ist allerdings nicht der Typ des Lambda-Ausdrucks, welcher schlicht: (Ljava/lang/Integer;)Ljava/lang/Integer ist.
stan commented 2017-10-10 15:24:00 +00:00
Owner
Copy Link

OLD BUG

OLD BUG
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels   
Codegen

   
confirmed

   
duplicate

   
Eclipse-Plugin

   
Feature Request

   
generics

   
in progress

   
invalid

   
JavaCompilerCore

   
needs info

   
Parser

   
Trash

   
Type

   
Unify

   
won't fix

   
works for me
No Label
Codegen
confirmed
duplicate
Eclipse-Plugin
Feature Request
generics
in progress
invalid
JavaCompilerCore
needs info
Parser
Trash
Type
Unify
won't fix
works for me
Milestone
Clear milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
No Assignees
stan
2 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

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