Skip to content
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

Make SIP 54 (Multi-Source Extension Overloads) a standard feature #17441

Merged
merged 2 commits into from
Oct 3, 2023

Conversation

odersky
Copy link
Contributor

@odersky odersky commented May 9, 2023

  • Drop experimental language import
  • Change note in docs to say that this relaxation only applies to extension method calls, not extension methods called as normal methods.

I tried to also reflect the second point in error messages but it turned out too hard. At the point where we generate the error message we do not know how the method was called and it would be unsystematic to create that side channel. In fact, information flows the other way: When we resolve an extension method name, we buffer the error messages and fix selected AmbiguityErrors.

 - Drop experimental language import
 - Change note in docs to say that this relaxation only applies
   to extension method calls, not extension methods called as normal
   methods.

I tried to also reflect the second point in error messages but it turned out too hard.
At the point where we generate the error message we do not know how the method was called and
it would be unsystematic to create that side channel. In fact, information flows the other
way: When we resolve an extension method name, we buffer the error messages and fix selected
AmbiguityErrors.
@odersky
Copy link
Contributor Author

odersky commented May 9, 2023

Let's wait with the merge until after the SIP meeting vote.

@nicolasstucki nicolasstucki added needs-minor-release This PR cannot be merged until the next minor release and removed needs-minor-release This PR cannot be merged until the next minor release labels May 9, 2023
@odersky odersky added this to the 3.4.0 milestone May 23, 2023
@SethTisue SethTisue changed the title Make SIP 54 a standard feature Make SIP 54 (Multi-Source Extension Overloads) a standard feature Sep 10, 2023
@odersky
Copy link
Contributor Author

odersky commented Oct 3, 2023

SIP 54 did get accepted, so we can go ahead with the merge.

@odersky odersky merged commit 9464bf0 into scala:main Oct 3, 2023
@odersky odersky deleted the sip54-merge branch October 3, 2023 19:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants