Micha Reiser

Add `--force-exclude` option to CLI

2

ty checks every path specified on the CLI even if they match an exclude pattern. This is because explicitly passed paths are considered explicit than an exclusion pattern. This behavior...

Publish diagnostics for all open files

13

ty's LSP does support the PublishDiagnostics notification, however, it only publishes the diagnostics for the changed file. It never pushes diagnostics for related files. Let's say you have `lib.py`: ```py...

The `ty_python_semantic` crates has become pretty big and slow to compile. Splitting the type inference logic is tricky but we could try: * Extract the module resolver into `ty_module_resolver`: *...

### Summary It's current documentation says TODO ### Version _No response_

`discord.py`: Checking `audit_logs.py` takes very long

3

Checking `audit_logs.py` dominates the entire type-checking time: * wall-time: 380ms * [`audit_logs.py`](https://github.com/Rapptz/discord.py/blob/master/discord/audit_logs.py): `/home/micha/astral/discord.py/discord/audit_logs.py` took more than 100ms (340.341158ms) I haven't looked into what's special about `audit_logs.py` (or something it imports),...

Show the type alias's name on hover

2

Hovering a type alias currently reveals the aliased type. We should show the type alias's definition instead, similar to pylance and resolve the documentation etc from the target

Add server setting to disable syntax errors

1

Similar to ruff's [`showSyntaxErrors`](https://docs.astral.sh/ruff/editors/settings/#showsyntaxerrors) option. An option like this is useful if you want to use ty alongside other Python LSPs (like Ruff) to avoid seeing multiple diagnostics for the...

[ty] Speedup ty-walltime benchmarks

3

## Summary Reduce the time-to-completion for walltime benchmarks from ~15min to ~9min by (should be even faster once the rust caching kicks in): * Increase the sharding from 2 to...

[ty] Add new `diagnosticMode: off`

2

## Summary This PR adds a new `diagnosticMode: off`, for users that want to use ty's LSP functionality only (go to def, ...) but don't want to see any type...