Micha Reiser

Results 1092 comments of Micha Reiser

> You can solve this by setting pass_filenames: true Note that setting `pass_filenames: true` has the downside that the pre-commit hook passes if your changes created typing errors in otherwise...

Not really, this is an inherent problem of multifile checking. Your staged file might contain typing errors due to changes in your unstaged files. They're really not that disconnected anymore

One wrinkle here is that it would still be nice to keep the types for completions, find references and such. But that's obviously rather tricky

Hmm, I wonder where we get this path from. Can you run `ty check -v` and share the logs with us?

Hmm, sorry. I should have asked you to run `ty check -vv` to get more detailed logs.

I suspect that ty gets all confused about `H:\example\.venv` expanding to `\\?\UNC\servername.at.corp.se\home$\username\example\.venv\pyvenv.cfg`. I would have to look back at why we canonicalize virtual environments in the first place. If not,...

https://github.com/astral-sh/ruff/pull/22073 adds support for turning diagnostics off. We agree that we need an easier way to switch between type checker strictness. But we don't know yet if that's going to...

Thanks for opening this issue. This makes sense. I don't have a great recommendation for you. The only thing that comes to mind is that you could define a custom...

I haven't tried but the documentation suggests that Pyrefly supports some version of this https://pyrefly.org/en/docs/migrating-from-pyright/#extending-builtins