JavaTX/JavaCompilerCore
2
0
Fork 3
Code Issues 99 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
Copy Link

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 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
1 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#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?