Skip to content

Ensure pony-lsp emits diagnostics for all documents#4891

Merged
SeanTAllen merged 4 commits intomainfrom
ensure-diagnostics-for-all-documents
Feb 28, 2026
Merged

Ensure pony-lsp emits diagnostics for all documents#4891
SeanTAllen merged 4 commits intomainfrom
ensure-diagnostics-for-all-documents

Conversation

@mfelsche
Copy link
Contributor

Some have been randomly kept back due to removal during hashmap iteration.

@mfelsche mfelsche requested a review from orien February 28, 2026 17:35
@ponylang-main ponylang-main added the discuss during sync Should be discussed during an upcoming sync label Feb 28, 2026
@mfelsche
Copy link
Contributor Author

@SeanTAllen can we have this be included in the next release?

@mfelsche mfelsche added the changelog - fixed Automatically add "Fixed" CHANGELOG entry on merge label Feb 28, 2026
@ponylang-main
Copy link
Contributor

Hi @mfelsche,

The changelog - fixed label was added to this pull request; all PRs with a changelog label need to have release notes included as part of the PR. If you haven't added release notes already, please do.

Release notes are added by creating a uniquely named file in the .release-notes directory. We suggest you call the file 4891.md to match the number of this pull request.

The basic format of the release notes (using markdown) should be:

## Title

End user description of changes, why it's important,
problems it solves etc.

If a breaking change, make sure to include 1 or more
examples what code would look like prior to this change
and how to update it to work after this change.

Thanks.

@SeanTAllen
Copy link
Member

@mfelsche we haven't released it yet so the release notes can be removed. The release is later today. I'll hold waiting for this.

@SeanTAllen SeanTAllen changed the title pony-lsp: Ensure emitting diagnostics for all documents Ensure pony-lsp emits diagnostics for all documents Feb 28, 2026
@SeanTAllen SeanTAllen removed the changelog - fixed Automatically add "Fixed" CHANGELOG entry on merge label Feb 28, 2026
@SeanTAllen SeanTAllen merged commit 6d75d0d into main Feb 28, 2026
14 checks passed
@SeanTAllen SeanTAllen deleted the ensure-diagnostics-for-all-documents branch February 28, 2026 20:32
@ponylang-main ponylang-main removed the discuss during sync Should be discussed during an upcoming sync label Feb 28, 2026
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.

3 participants