Skip to content

Some type lambdas printed incorrectly #9958

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
prolativ opened this issue Oct 7, 2020 · 0 comments · Fixed by #9979
Closed

Some type lambdas printed incorrectly #9958

prolativ opened this issue Oct 7, 2020 · 0 comments · Fixed by #9979
Labels
itype:bug
Milestone
3.0.0

Comments

@prolativ
Copy link
Contributor

prolativ commented Oct 7, 2020

Minimized code

summon[[X] =>> (X, X)]

Output

no implicit argument of type Tuple2 was found for parameter x of method summon in object DottyPredef

Expectation

no implicit argument of type [X] =>> (X, X) was found for parameter x of method summon in object DottyPredef
odersky added a commit to dotty-staging/dotty that referenced this issue Oct 10, 2020
@odersky
Fix scala#9958: Avoid eta contraction when printing
9c736ac 
Don't eta contract if the result type of the lambda is an application
that is treated specially.
@nicolasstucki nicolasstucki linked a pull request Oct 11, 2020 that will close this issue
Fix #9958: Avoid eta contractions when printing #9979
Merged
nicolasstucki added a commit that referenced this issue Oct 14, 2020
@nicolasstucki
Merge pull request #9979 from dotty-staging/fix-#9958
bdc8092 
Fix #9958: Avoid eta contractions when printing
@Kordyjan Kordyjan added this to the 3.0.0 milestone Aug 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
itype:bug
Projects
None yet
Milestone
3.0.0
Development

Successfully merging a pull request may close this issue.

Fix #9958: Avoid eta contractions when printing dotty-staging/dotty
2 participants
@prolativ @Kordyjan