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.
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
Eta lifts function before args. #7963
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
That was kind of easy. This must also change the examples in the spec 6.7.
55 | ||
F | ||
Z | ||
55 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Is 55
some sort of senior citizens' joke?
Ach, good catch. I just read that bit, to be sure of myself, but I didn't read the examples, because who does that anymore? |
The comment says it, the spec says it, and most importantly, Dotty says it. Update the examples in the spec, which didn't say it. Maybe qualify for the coveted "performance" label by avoiding an argument load. Fixes scala/bug#11465.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks. When I "contributed" the examples to document the state of affairs, Adriaan was like what are you sure. I could've fixed it back then. Obviously, no one seemed to care. And what does that say?
@hrhino Is this ready? |
But for timing, should be. I'm in no rush, though. |
The comment says it, the spec says it, and most importantly, Dotty says it.
Maybe qualify for the coveted "performance" label by avoiding an argument load.
Fixes scala/bug#11465.