astral-sh / uv

An extremely fast Python package and project manager, written in Rust.
https://docs.astral.sh/uv
Apache License 2.0
21.42k stars 627 forks source link

Incorporate knowledge of disjoint markers into simplification #7760

Open charliermarsh opened 1 day ago

charliermarsh commented 1 day ago

There are some markers that we "know" cannot be true at the same time, despite the fact that it's not encoded in the grammar or schema at all.

For example, this is never true: platform_system == 'Linux' and sys_platform == 'darwin'.

If we encode knowledge about the markers that we "know" are disjoint, we can omit more forks, wheels, etc.

charliermarsh commented 1 day ago

\cc @ibraheemdev