Maintain LSP integrations and add concise backend character profiles - #49
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Updates the native and browser integrations for Pyrefly 1.3.0, ty 0.0.80, Zuban 0.9.3, Pyright 1.1.414 and basedpyright 1.40.1. Pyrefly's new string highlighting survives normalization, current configuration options are typed, and CI tests Microsoft Pyright separately from the basedpyright fork.
The playground now serves pinned, checksum-verified WASM assets and handles late diagnostics and backend switches safely. The README is a 423-word overview with a pixel-art party; sourced comparisons, refreshed limitations and the maintenance runbook live in the docs.
Validation: 251 Python tests passed with one expected ty hover exception; 35 separate Microsoft Pyright tests passed; Pyright/Ruff clean; reproducible generated types; wheel/sdist and playground builds passed; two WASM tests and Chromium diagnostics/hover/edit/concurrency checks passed; npm audit reported zero vulnerabilities. Local Python tests used 3.12; this PR's CI explicitly selects 3.12, 3.13 and 3.14 for both Pyright distributions.
Release intent: publish 0.24.0 using the existing workflow after CI and merge. Merging also deploys the playground. The browser worker uses pinned jsDelivr URLs, and ty's WASM build requires Rust and a native compiler.