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

Überprüfen, ob man in TypeStmt für Lambda Ausdrücken die gleich TypVar setzt wei beim Argument #247

New Issue
Open
opened 2018-11-04 12:18:15 +00:00 by pl · 0 comments
pl commented 2018-11-04 12:18:15 +00:00
Owner

branch: bytecode2
commit: 5ddc9201f7

für Lambda-Ausdruck f = x -> g(x)

wird nach dem Parser für x Typannahmen x:A gemacht.

In TypeStmt wird für f:FUN<Y,Z> angenommen. Wäre es nicht sinnvoller, hier gleich f:FUN<A,Z> zu machen.

branch: bytecode2 commit: 5ddc9201f7296ff28ca0c1c6b2d790082a122682 für Lambda-Ausdruck f = x -> g(x) wird nach dem Parser für x Typannahmen x:A gemacht. In TypeStmt wird für f:FUN<Y,Z> angenommen. Wäre es nicht sinnvoller, hier gleich f:FUN<A,Z> zu machen.
Sign in to join this conversation.
No Label
confirmed
Type
No Milestone
No project
No Assignees stan
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

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