Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[red-knot] support callable types and typing.Callable #15382

Open
carljm opened this issue Jan 9, 2025 · 0 comments
Open

[red-knot] support callable types and typing.Callable #15382

carljm opened this issue Jan 9, 2025 · 0 comments
Assignees
@dhruvmanila
Labels
red-knot Multi-file analysis & type inference
Milestone
Red Knot Q1 2025

Comments

@carljm
Copy link
Contributor

carljm commented Jan 9, 2025

Our "callable type" should be able to represent a callable of arbitrary signature; typing.Callable can only spell a limited subset of those types.

This also includes implementing subtyping/assignability/equivalence for this type.
@carljm carljm added the red-knot Multi-file analysis & type inference label Jan 9, 2025
@carljm carljm added this to the Red Knot Q1 2025 milestone Jan 9, 2025
@dhruvmanila dhruvmanila marked this as a duplicate of #14173 Jan 10, 2025
@dhruvmanila dhruvmanila mentioned this issue Jan 10, 2025
Closed
@dhruvmanila dhruvmanila self-assigned this Jan 10, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@dhruvmanila dhruvmanila

Labels
red-knot Multi-file analysis & type inference
Projects
None yet
Milestone
Red Knot Q1 2025
Development

No branches or pull requests
2 participants
@carljm @dhruvmanila