-
Notifications
You must be signed in to change notification settings - Fork 75
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
Document the use of *
as a placeholder and deprecate the use of ?
#108
Comments
I can go through cats and change all of the use cases there soonish. |
I'll PR a doc change ASAP. |
And a runtime deprecation warning, right? (Ideally logging only once per compilation unit, rather for each instance.) |
I would also suggest a scalafix rule that could be applied by scala steward once the old syntax gets removed |
I have added an issue for IDEA scala pluggin to support new placeholder : https://youtrack.jetbrains.net/issue/SCL-15756 |
PR with a simple switch from There ought to be a more explanatory paragraph in the README, but I wasn't sure quite how to structure it: putting it right at the beginning is a bit disruptive for someone who just wants to learn about the plugin. OTOH there isn't really a particularly natural break to insert it later, and tacking it on right at the end makes it a bit hard to discover. |
@VladKopanev thanks for notification, I've added support for |
Any progress here? Kind of awkward now that IntelliJ has shipped with a warning that |
In #91
*
was introduced as an alternative placeholder syntax, as part of a long-term plan for repurposing?
for wildcards in Scala (see http://dotty.epfl.ch/docs/reference/changed-features/wildcards.html). To allow cross-compilation, we recently added-Ykind-projector
to Dotty to support the*
placeholder. However, the documentation of kind-projector does not mention this new syntax, and the old one isn't deprecated, so people are unlikely to start using it. Could this be fixed ?/cc @milessabin
The text was updated successfully, but these errors were encountered: