News for hackers. Stuff that matters.
Re:Ty: A fast Python type checker and language server by dcreager on Thursday May 08, 2025 @09:05AM (#43925739)
Yes, if you have a Python version specifed in pyproject.toml, for instance, we respect that, and that's what we use to type-check your code. The default being discussed here is what we fall back on if that project metadata isn't available.
Re:Ty: A fast Python type checker and language server by 0xffff2 on Thursday May 08, 2025 @12:33PM (#43927892)
Could you check what version of `python` is in the PATH and use that as the default?