Skip to content

chore: LTS backports #20855

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

Merged
merged 57 commits into from
Jun 28, 2024
Merged

chore: LTS backports #20855

merged 57 commits into from
Jun 28, 2024

Conversation

WojciechMazur
Copy link
Contributor

No description provided.

tgodzik and others added 30 commits June 27, 2024 11:23
We now suggest to compile with -explain-cyclic, in which case we
give a trace of the forcings that led to the cycle.

The reason for the separate option is that maintaining a trace is not
free so we should not be doing it by default.

[Cherry-picked d2becfe]
Several improvements:

 - Follow opaque aliases as if they were aliases. Otherwise we
   risk crashing in phases where the `opaque` is dropped and these
   become regular aliases.
 - Update the `isInteresting` test to follow more types. Previously
   the test was too strict so some cycles were missed.
 - Make -explain-cyclic also explain for cycles detected by this check.

Fixes #19372

[Cherry-picked 756ae34]
* Disable `tests/neg/i8984.scala`.
* Fix broken tests

[Cherry-picked 92c5cb2][modified]
This addresses part of #19211, #19170, and #19176

[Cherry-picked 693a80a]
WojciechMazur and others added 27 commits June 27, 2024 13:49
[Cherry-picked 69d1de3][modified]
…amed arg support (#19214)

Previously, signature help had unstable way of calculating active
parameter inside the signature help. It is now changed to work better
with erroneous trees such as unclosed openings.

It also adds a new feature for signature help, which will help user
navigate inside named arguments. Furthermore, it will now find reordered
named arguments, and display in the same way, by also marking the
remaining parameters that they are now required to be named.

Example:


https://github.com/lampepfl/dotty/assets/48657087/b181d2d5-60f0-46a5-b2df-a58aa5f07454

The following changes have been made:

    - we will stop supporting Signature Helps for unclosed openings. It is too hard to recover from such errors reliably and to track where we are with the cursor. All modern editors will close opening on input. It simplified the code, and is the best way forward.
    - if there is an error within a definition return type parameter, we will now fall back to source, instead of print error,
    - tuples and functions are now supported when they are returned from methods.
    - this rewrite made me change a few things, and I took the chance and made it support clause interleaving. There is now a proper test suite for that. It required changing the way we represent Signatures.
    - argument reordering now works for all parameter lists, not only the currently applied one,
    - type parameters now also correctly display documentation

I've changed the PR to use ShortenedTypePrinter and fixed some other minor issues like correctly marking reordered argumentss or hiding synthetic parameter names.

In the future, Signature help should be changed to return symbols from the compiler instead of already printed values, and only print them later using shared API of ShortenedTypePrinter in the Presentation Compiler. Ideally we'd want a shared implementation for label printing with completions, hovers and other features.
[Cherry-picked 01171de]
Backports #19410 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
)

Backports #19408 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
Backports #19429 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
…o LTS (#20826)

Backports #19400 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
Backports #19186 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
…cala2-library-cc`" to LTS (#20828)

Backports #19447 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
Backports #19432 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
Backports #19337 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
…20831)

Backports #19461 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
Backports #19459 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
Backports #19453 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
Backports #19452 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
…TS (#20835)

Backports #19451 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
Backports #19465 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
Backports #19561 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
Backports #19428 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
Backports #19471 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
…mpleter" to LTS (#20841)

Backports #19463 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
… LTS (#20842)

Backports #19468 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
…TS (#20844)

Backports #19243 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
…+ better named arg support" to LTS (#20845)

Backports #19214 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
Backports #19488 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
Backports #19484 to the LTS branch.

PR submitted by the release tooling.
[skip ci]
@WojciechMazur WojciechMazur merged commit 99f58bb into lts-3.3 Jun 28, 2024
@WojciechMazur WojciechMazur deleted the lts-18702 branch June 28, 2024 11:20
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.

9 participants