ruff
[red-knot] Add support for overloaded functions
#17366
Merged
Overview
Commits
17
Changes
View On GitHub

[red-knot] Add support for overloaded functions #17366

dhruvmanila merged 17 commits into main from dhruv/overloaded-signature
dhruvmanila
dhruvmanila dhruvmanila added ty
github-actions
dhruvmanila dhruvmanila force pushed from f738bc2e to cc3386dd 161 days ago
dhruvmanila dhruvmanila force pushed from cc3386dd to 72a3bc81 161 days ago
codspeed-hq
Base automatically changed from dhruv/move-callable-type-relation to main 161 days ago
dhruvmanila dhruvmanila force pushed from 72a3bc81 to 85fdca6c 161 days ago
dhruvmanila dhruvmanila force pushed from 85fdca6c to 81800964 161 days ago
dhruvmanila dhruvmanila force pushed from 8a875f2a to 57752284 160 days ago
dhruvmanila dhruvmanila force pushed from 4cb58ddc to f26d4459 159 days ago
dhruvmanila dhruvmanila force pushed from f26d4459 to 05e7b1ee 159 days ago
dhruvmanila dhruvmanila force pushed from 05e7b1ee to bfce12ad 159 days ago
dhruvmanila dhruvmanila closed this 159 days ago
dhruvmanila dhruvmanila reopened this 159 days ago
dhruvmanila dhruvmanila force pushed from df5f44b2 to 4921acf1 158 days ago
dhruvmanila dhruvmanila changed the title [red-knot] Understand overloaded function/method [red-knot] Add support for overloaded functions 158 days ago
dhruvmanila
dhruvmanila commented on 2025-04-17
dhruvmanila dhruvmanila marked this pull request as ready for review 158 days ago
dhruvmanila dhruvmanila requested a review from carljm carljm 158 days ago
dhruvmanila dhruvmanila requested a review from AlexWaygood AlexWaygood 158 days ago
dhruvmanila dhruvmanila requested a review from sharkdp sharkdp 158 days ago
dhruvmanila dhruvmanila requested a review from dcreager dcreager 158 days ago
dhruvmanila dhruvmanila requested a review from MichaReiser MichaReiser 158 days ago
sharkdp
sharkdp commented on 2025-04-17
sharkdp
sharkdp commented on 2025-04-17
AlexWaygood
AlexWaygood commented on 2025-04-17
AlexWaygood
AlexWaygood commented on 2025-04-17
carljm
dhruvmanila
dhruvmanila [red-knot] support overloaded callables
f4680971
dhruvmanila fix mdtests
72cc4884
dhruvmanila fix overloaded definition overriding non-overloaded
d78c15d7
dhruvmanila initial tests
d49def9a
dhruvmanila add more tests
6190aafe
dhruvmanila fix pre-commit
26e80377
dhruvmanila update cli test snapshots
99cdcece
dhruvmanila remove commented out overload check fn
f69292d4
dhruvmanila add docs, rename relation check fn
5c73cdaf
dhruvmanila rename `CallableType::signature` to `signatures`, docs
80da1c2a
dhruvmanila fix relation check between two overloads; subtype tests
7bf92c95
dhruvmanila use the definition scope
924eb604
dhruvmanila add fully static tests
d264d50d
dhruvmanila tests for overloaded assignment to callable
78615ebf
dhruvmanila add order of overload subtyping test
d36028de
dhruvmanila fix mdtest
baa72685
carljm
carljm approved these changes on 2025-04-17
dhruvmanila Address review comments
b347ce08
dhruvmanila dhruvmanila force pushed from 3c3633d9 to b347ce08 157 days ago
dhruvmanila
dhruvmanila dhruvmanila merged 44ad2012 into main 157 days ago
dhruvmanila dhruvmanila deleted the dhruv/overloaded-signature branch 157 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
ty
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum