astral-sh
ruff
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
Performance History
Latest Results
Suppress expression folds covered by block header folds
lerebear/push-pwlqvypsrllr
2 hours ago
Rebase
charlie/recursive-type-aliases
6 hours ago
Rebase
charlie/recursive-type-aliases
6 hours ago
Increase limits
charlie/loop-constraints-test
7 hours ago
[ty] implement proper handling of recursive types in `CycleDetector` (#24773) ## Summary This fixes the known issues with handling recursive aliases, as described [here](https://github.com/astral-sh/ty/issues/3195#issuecomment-4184926298) and elsewhere. ```py from typing import reveal_type type A = list[A] def foo(x: A): reveal_type(x[0]) # main: list[Any] -> this PR: list[A] ``` This allows us to safely remove the `MAX_RECURSION_DEPTH` limit that was associated with `CycleDetector`. The point is that in the previous implementation, we simply compared types using hash values to guard against recursion, but this was insufficient. By manually adding equality checks, the depth limit is no longer necessary. Stacked on https://github.com/astral-sh/ruff/pull/24803 ## Test Plan mdtest updated --------- Co-authored-by: Charlie Marsh <charlie.r.marsh@gmail.com>
main
7 hours ago
DRY
charlie/promote-perf
7 hours ago
Use default specialization; flip materialization
mtshiba:fix-cycle-detector
8 hours ago
Use default specialization; flip materialization
mtshiba:fix-cycle-detector
8 hours ago
Latest Branches
CodSpeed Performance Gauge
0%
[ty] Emit folding ranges from the language server for multi-line block headers.
#24978
3 hours ago
b63c191
lerebear/push-pwlqvypsrllr
CodSpeed Performance Gauge
0%
[ty] Fix various overflows with recursive type aliases
#24683
6 hours ago
34aea18
charlie/recursive-type-aliases
CodSpeed Performance Gauge
0%
[ty] Bound loop-header analysis for large loops
#24972
7 hours ago
0210835
charlie/loop-constraints-test
© 2026 CodSpeed Technology
Home
Terms
Privacy
Docs