mirror of https://github.com/astral-sh/ruff synced 2026-01-20 21:10:48 -05:00

Files

Carl Meyer 27f6f048f0 [red-knot] initial (very incomplete) flow graph (#11624 )

<!--
Thank you for contributing to Ruff! To help us out with reviewing,
please consider the following:

- Does this pull request include a summary of the change? (See below.)
- Does this pull request include a descriptive title?
- Does this pull request include references to any relevant issues?
-->

## Summary

Introduces the skeleton of the flow graph. So far it doesn't actually
handle any non-linear control flow :) But it does show how we can go
from an expression that references a symbol, backward through the flow
graph, to find reachable definitions of that symbol.

Adding non-linear control flow will mean adding flow nodes with multiple
predecessors, which will introduce more complexity into
`ReachableDefinitionsIterator.next()`. But one step at a time.

## Test Plan

Added a (very basic) test.

2024-05-31 14:27:17 -06:00

src

[red-knot] initial (very incomplete) flow graph (#11624 )

2024-05-31 14:27:17 -06:00

vendor/typeshed

Sync vendored typeshed stubs (#11428 )

2024-05-15 00:46:41 +00:00

Cargo.toml

Move sub-crates to workspace dependencies (#11407 )

2024-05-13 14:37:50 +00:00

README.md

Add automation for updating our vendored typeshed stubs (#11427 )

2024-05-14 20:39:30 -04:00

README.md

Red Knot

The Red Knot crate contains code working towards multifile analysis, type inference and, ultimately, type-checking. It's very much a work in progress for now.

Vendored types for the stdlib

Red Knot vendors typeshed's stubs for the standard library. The vendored stubs can be found in crates/red_knot/vendor/typeshed. The file crates/red_knot/vendor/typeshed/source_commit.txt tells you the typeshed commit that our vendored stdlib stubs currently correspond to.

The typeshed stubs are updated every two weeks via an automated PR using the sync_typeshed.yaml workflow in the .github/workflows directory. This workflow can also be triggered at any time via workflow dispatch.