9 commits

Author	SHA1	Message	Date
Micha Reiser	76ab77fe01	[ty] Support import <namespace> and from <namespace> import module (#18137)	2025-05-21 07:28:33 +00:00
Micha Reiser	9ae698fe30	Switch to Rust 2024 edition (#18129)	2025-05-16 13:25:28 +02:00
Felix Scherz	d3a7cb3fe4	[ty] support accessing __builtins__ global (#18118) ... ## Summary The PR adds an explicit check for `"__builtins__"` during name lookup, similar to how `"__file__"` is implemented. The inferred type is `Any`. closes https://github.com/astral-sh/ty/issues/393 ## Test Plan Added a markdown test for `__builtins__`. --------- Co-authored-by: David Peter <sharkdp@users.noreply.github.com>	2025-05-15 22:01:38 +02:00
Alex Waygood	65e48cb439	[ty] Check assignments to implicit global symbols are assignable to the types declared on types.ModuleType (#18077)	2025-05-13 16:37:20 -04:00
Carl Meyer	f8890b70c3	[ty] __file__ is always a string inside a Python module (#18071) ... ## Summary Understand that `__file__` is always set and a `str` when looked up as an implicit global from a Python file we are type checking. ## Test Plan mdtests	2025-05-13 08:20:43 -07:00
Micha Reiser	6cd8a49638	[ty] Update salsa (#17964)	2025-05-09 11:54:07 +02:00
Dhruv Manilawala	78054824c0	[ty] Add support for __all__ (#17856) ... ## Summary This PR adds support for the `__all__` module variable. Reference spec: https://typing.python.org/en/latest/spec/distributing.html#library-interface-public-and-private-symbols This PR adds a new `dunder_all_names` query that returns a set of `Name`s defined in the `__all__` variable of the given `File`. The query works by implementing the `StatementVisitor` and collects all the names by recognizing the supported idioms as mentioned in the spec. Any idiom that's not recognized are ignored. The current implementation is minimum to what's required for us to remove all the false positives that this is causing. Refer to the "Follow-ups" section below to see what we can do next. I'll a open separate issue to keep track of them. Closes: astral-sh/ty#106 Closes: astral-sh/ty#199 ### Follow-ups * Diagnostics: * Add warning diagnostics for unrecognized `__all__` idioms, `__all__` containing non-string element * Add an error diagnostic for elements that are present in `__all__` but not defined in the module. This could lead to runtime error * Maybe we should return `<type>` instead of `Unknown | <type>` for `module.__all__`. For example: https://playknot.ruff.rs/2a6fe5d7-4e16-45b1-8ec3-d79f2d4ca894 * Mark a symbol that's mentioned in `__all__` as used otherwise it could raise (possibly in the future) "unused-name" diagnostic Supporting diagnostics will require that we update the return type of the query to be something other than `Option<FxHashSet<Name>>`, something that behaves like a result and provides a way to check whether a name exists in `__all__`, loop over elements in `__all__`, loop over the invalid elements, etc. ## Ecosystem analysis The following are the maximum amount of diagnostics **removed** in the ecosystem: * "Type <module '...'> has no attribute ..." * `collections.abc` - 14 * `numpy` - 35534 * `numpy.ma` - 296 * `numpy.char` - 37 * `numpy.testing` - 175 * `hashlib` - 311 * `scipy.fft` - 2 * `scipy.stats` - 38 * "Module '...' has no member ..." * `collections.abc` - 85 * `numpy` - 508 * `numpy.testing` - 741 * `hashlib` - 36 * `scipy.stats` - 68 * `scipy.interpolate` - 7 * `scipy.signal` - 5 The following modules have dynamic `__all__` definition, so `ty` assumes that `__all__` doesn't exists in that module: * `scipy.stats` (95a5d6ea8b/scipy/stats/__init__.py (L665)) * `scipy.interpolate` (95a5d6ea8b/scipy/interpolate/__init__.py (L221)) * `scipy.signal` (indirectly via 95a5d6ea8b/scipy/signal/_signal_api.py (L30)) * `numpy.testing` (de784cd6ee/numpy/testing/__init__.py (L16-L18)) ~There's this one category of **false positives** that have been added:~ Fixed the false positives by also ignoring `__all__` from a module that uses unrecognized idioms. <details><summary>Details about the false postivie:</summary> <p> The `scipy.stats` module has dynamic `__all__` and it imports a bunch of symbols via star imports. Some of those modules have a mix of valid and invalid `__all__` idioms. For example, in 95a5d6ea8b/scipy/stats/distributions.py (L18-L24), 2 out of 4 `__all__` idioms are invalid but currently `ty` recognizes two of them and says that the module has a `__all__` with 5 values. This leads to around **2055** newly added false positives of the form: ``` Type <module 'scipy.stats'> has no attribute ... ``` I think the fix here is to completely ignore `__all__`, not only if there are invalid elements in it, but also if there are unrecognized idioms used in the module. </p> </details> ## Test Plan Add a bunch of test cases using the new `ty_extensions.dunder_all_names` function to extract a module's `__all__` names. Update various test cases to remove false positives around `*` imports and re-export convention. Add new test cases for named import behavior as `*` imports covers all of it already (thanks Alex!).	2025-05-07 21:42:42 +05:30
Shunsuke Shibayama	fd76d70a31	[red-knot] fix narrowing in nested scopes (#17630) ... ## Summary This PR fixes #17595. ## Test Plan New test cases are added to `mdtest/narrow/conditionals/nested.md`. --------- Co-authored-by: Carl Meyer <carl@astral.sh>	2025-05-05 16:28:42 -07:00
Micha Reiser	b51c4f82ea	Rename Red Knot (#17820)	2025-05-03 19:49:15 +02:00

Renamed from crates/red_knot_python_semantic/src/symbol.rs (Browse further)